dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maria Domenica Di Benedetto Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: A symbolic approach to the design of nonlinear networked control systems. HSCC 2012: 255-264
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Maria Domenica Di Benedetto: Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach CoRR abs/1202.1372: (2012)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: A Symbolic Approach to the Design of Nonlinear Networked Control Systems CoRR abs/1203.1069: (2012)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Alessandro Borri, Maria Domenica Di Benedetto: Integrated Design of Symbolic Controllers for Nonlinear Systems. IEEE Trans. Automat. Contr. 57(2): 534-539 (2012)
2011
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link failure detection in Multi-Hop Control Networks. CDC-ECE 2011: 5248-5253
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: Alternating approximately bisimilar symbolic models for nonlinear control systems affected by disturbances. CDC-ECE 2011: 552-557
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra: Fault Tolerant Stabilizability of Multi-Hop Control Networks CoRR abs/1103.4340: (2011)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Shaunak Dattaprasad Bopardikar, João Pedro Hespanha, Maria Domenica Di Benedetto: Hide-and-Seek with Directional Sensing CoRR abs/1104.1268: (2011)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Maria Domenica Di Benedetto, Elena De Santis: Arenas of Finite State Machines CoRR abs/1106.0342: (2011)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link Failure Detection in Multi-hop Control Networks CoRR abs/1108.5316: (2011)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Approximate Abstractions of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 56(11): 2688-2694 (2011)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Verification of Hybrid Automata Diagnosability by Abstraction. IEEE Trans. Automat. Contr. 56(9): 2050-2061 (2011)
2010
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Giordano Pola, Maria Domenica Di Benedetto: An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications. CDC 2010: 1528-1533
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Petriccone, Giordano Pola, Maria Domenica Di Benedetto, Elena De Santis: A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems. CDC 2010: 2081-2086
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUbaldo Tiberi, Carlo Fischione, Karl Henrik Johansson, Maria Domenica Di Benedetto: Adaptive self-triggered control over IEEE 802.15.4 networks. CDC 2010: 2099-2104
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto: Alternating approximately bisimilar symbolic models for nonlinear control systems with unknown time-varying delays. CDC 2010: 7649-7654
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaunak Dattaprasad Bopardikar, Alessandro Borri, João Pedro Hespanha, Maria Prandini, Maria Domenica Di Benedetto: Randomized sampling for large zero-sum games. CDC 2010: 7675-7680
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada: Symbolic models for nonlinear time-delay systems using approximate bisimulations. Systems & Control Letters 59(6): 365-373 (2010)
2009
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzena Bajcsy, Alessandro Borri, Maria Domenica Di Benedetto, Annarita Giani, Claire Tomlin: Classification of Physical Interactions between Two Subjects. BSN 2009: 187-192
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto, Paulo Tabuada: A symbolic model approach to the digital control of nonlinear time-delay systems. CDC 2009: 2216-2221
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomenico Bianchi, Alessandro Borri, Gilberto Burgio, Maria Domenica Di Benedetto, Stefano Di Gennaro: Adaptive integrated vehicle control using active front steering and rear torque vectoring. CDC 2009: 3557-3562
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriella Fiore, Valeria Ercoli, Alf Isaksson, Krister Landernäs, Maria Domenica Di Benedetto: Multihop Multi-channel Scheduling for Wireless Control in WirelessHART Networks. ETFA 2009: 1-8
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto: Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. HSCC 2009: 76-89
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElena 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas: Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2): 94-101 (2009)
2008
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty. CDC 2008: 1042-1047
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto: Approximate abstractions of discrete-time controlled stochastic hybrid systems. CDC 2008: 221-226
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15
2007
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability Verification for Hybrid Automata. HSCC 2007: 684-687
2006
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro: Observability of Hybrid Automata by Abstraction. HSCC 2006: 169-183
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria-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)
2005
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Efficient Solution of Optimal Control Problems Using Hybrid Systems. SIAM J. Control and Optimization 43(6): 1923-1952 (2005)
2003
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Benvenuti, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Individual cylinder characteristic estimation for a spark injection engine. Automatica 39(7): 1157-1169 (2003)
2002
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli: Design of Observers for Hybrid Systems. HSCC 2002: 76-89
2001
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli: Optimal Control Using Bisimulations: Implementation. HSCC 2001: 175-188
2000
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Berardi, Elena De Santis, Maria Domenica Di Benedetto: Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications. HSCC 2000: 59-72
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro: Theory of Optimal Control Using Bisimulations. HSCC 2000: 89-102
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
1999
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid control in automotive applications: the cut-off control. Automatica 35(3): 519-535 (1999)
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria Domenica Di Benedetto, Pasquale Lucibello, Alberto L. Sangiovanni-Vincentelli, K. Yamaguchi: Chain Closure: A Problem in Molecular CAD. DAC 1994: 497-502
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)

Coauthor Index

1Alessandro Abate [17] [18] [19] [35]
2Ruzena Bajcsy [27]
3Andrea Balluchi [3] [4] [8] [11]
4Maria-Gabriella Di Benedetto [14] [23]
5Luca Benvenuti [8] [11] [12]
6Luca Berardi [7]
7Domenico Bianchi [25]
8Shaunak Dattaprasad Bopardikar [29] [38]
9Alessandro Borri [23] [25] [27] [29] [33] [38] [40] [42] [43] [45]
10Mireille E. Broucke [6] [9] [13]
11Gilberto Burgio [25]
12Alessandro D'Innocenzo [15] [16] [17] [18] [19] [20] [21] [34] [35] [36] [39] [41]
13Valeria Ercoli [24]
14Gabriella Fiore [24]
15Carlo Fischione [31]
16Stefano Di Gennaro [6] [9] [12] [13] [15] [16] [20] [25] [34]
17Guerino Giancola [14]
18Annarita Giani [27]
19João Pedro Hespanha (João P. Hespanha) [29] [38]
20Alf Isaksson [24]
21Karl Henrik Johansson [31]
22A. Agung Julius [21]
23Krister Landernäs [24]
24Pasquale Lucibello [2] [5]
25Guido M. Miconi [8]
26George J. Pappas [21]
27Pierdomenico Pepe [26] [28] [30]
28Alessandro Petriccone [32]
29Claudio Pinello [3] [4]
30Giordano Pola [17] [22] [26] [28] [30] [32] [33] [37] [40] [42] [43] [44] [45]
31Ugo Pozzi [8]
32Maria Prandini [29]
33C. Rossi [3] [4]
34Alberto L. Sangiovanni-Vincentelli [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13]
35Elena De Santis [7] [22] [32] [37]
36Shankar Sastry (Shankar S. Sastry) [17] [18]
37Emmanuele Serra [36] [39] [41]
38Paulo Tabuada [26] [28]
39Ubaldo Tiberi [31]
40Claire J. Tomlin (Claire Tomlin) [27]
41Tiziano Villa [8]
42Howard Wong-Toi [8]
43K. Yamaguchi [2] [5]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page