2009 |
15 | EE | Alessandro Borri,
Maria Domenica Di Benedetto,
Maria-Gabriella Di Benedetto:
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.
HSCC 2009: 76-89 |
2008 |
14 | EE | Alessandro Abate,
Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Shankar Sastry:
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.
HSCC 2008: 1-15 |
2007 |
13 | EE | Alessandro Abate,
Alessandro D'Innocenzo,
Giordano Pola,
Maria Domenica Di Benedetto,
Shankar Sastry:
The Concept of Deadlock and Livelock in Hybrid Control Systems.
HSCC 2007: 628-632 |
12 | EE | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
HSCC 2007: 684-687 |
2006 |
11 | EE | Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
HSCC 2006: 169-183 |
10 | EE | Maria-Gabriella Di Benedetto,
Guerino Giancola,
Maria Domenica Di Benedetto:
Introducing consciousness in UWB networks by hybrid modelling of admission control.
MONET 11(4): 521-534 (2006) |
2002 |
9 | EE | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems.
HSCC 2002: 76-89 |
2001 |
8 | | Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings
Springer 2001 |
7 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation.
HSCC 2001: 175-188 |
2000 |
6 | EE | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Guido M. Miconi,
Ugo Pozzi,
Tiziano Villa,
Howard Wong-Toi,
Alberto L. Sangiovanni-Vincentelli:
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.
HSCC 2000: 32-44 |
5 | EE | Luca Berardi,
Elena De Santis,
Maria Domenica Di Benedetto:
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
HSCC 2000: 59-72 |
4 | EE | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli,
Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations.
HSCC 2000: 89-102 |
3 | EE | Maria Domenica Di Benedetto,
Pasquale Lucibello,
Alberto L. Sangiovanni-Vincentelli,
K. Yamaguchi:
A new procedure for exact ring closure.
Journal of Computational Chemistry 21(10): 870-881 (2000) |
1998 |
2 | | Andrea Balluchi,
Maria Domenica Di Benedetto,
Claudio Pinello,
C. Rossi,
Alberto L. Sangiovanni-Vincentelli:
Hybrid Control for Automotive Engine Management: The Cut-Off Case.
HSCC 1998: 13-32 |
1994 |
1 | EE | Maria Domenica Di Benedetto,
Pasquale Lucibello,
Alberto L. Sangiovanni-Vincentelli,
K. Yamaguchi:
Chain Closure: A Problem in Molecular CAD.
DAC 1994: 497-502 |