 | 2009 |
|---|
| 19 |       | Alessandro Borri,
Maria Domenica Di Benedetto,
Maria-Gabriella Di Benedetto:
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks.
HSCC 2009: 76-89 |
| 18 | | Elena De Santis,
Maria Domenica Di Benedetto,
Giordano Pola:
A structural approach to detectability for a class of hybrid systems.
Automatica 45(5): 1202-1206 (2009) |
| 2008 |
|---|
| 17 | | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability of hybrid automata with measurement uncertainty.
CDC 2008: 1042-1047 |
| 16 | | Alessandro D'Innocenzo,
Alessandro Abate,
Maria Domenica Di Benedetto:
Approximate abstractions of discrete-time controlled stochastic hybrid systems.
CDC 2008: 221-226 |
| 15 | | 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 |
|---|
| 14 | | 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 |
| 13 | | Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alessandro D'Innocenzo:
Diagnosability Verification for Hybrid Automata.
HSCC 2007: 684-687 |
| 2006 |
|---|
| 12 | | Alessandro D'Innocenzo,
Maria Domenica Di Benedetto,
Stefano Di Gennaro:
Observability of Hybrid Automata by Abstraction.
HSCC 2006: 169-183 |
| 11 | | 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 |
|---|
| 10 | | Andrea Balluchi,
Luca Benvenuti,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems.
HSCC 2002: 76-89 |
| 2001 |
|---|
| 9 |  | 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 |
| 8 | | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Stefano Di Gennaro,
Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation.
HSCC 2001: 175-188 |
| 2000 |
|---|
| 7 | | 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 |
| 6 | | Luca Berardi,
Elena De Santis,
Maria Domenica Di Benedetto:
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.
HSCC 2000: 59-72 |
| 5 | | Mireille E. Broucke,
Maria Domenica Di Benedetto,
Alberto L. Sangiovanni-Vincentelli,
Stefano Di Gennaro:
Theory of Optimal Control Using Bisimulations.
HSCC 2000: 89-102 |
| 4 | | 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 |
|---|
| 3 | | 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 |
|---|
| 2 | | Maria Domenica Di Benedetto,
Pasquale Lucibello,
Alberto L. Sangiovanni-Vincentelli,
K. Yamaguchi:
Chain Closure: A Problem in Molecular CAD.
DAC 1994: 497-502 |
| 1982 |
|---|
| 1 | | Maria Domenica Di Benedetto:
The design and construction of digital speech processing systems to serve as an aid to the hard-to-hearing.
Speech Communication 1(3-4): 299-300 (1982) |
