Supervisory Control of Finite State Machines

A. Aziz , F. Balarin , R. K. Brayton , M. D. DiBenedetto
computer aided verification 279 -292

22
1995
A Classification of Nonlinear Systems Based on the Invariant Subdistribution Algorithm

Maria Domenia Di Benedetto
Algebraic and Geometric Methods in Nonlinear Control Theory 147 -157

2
1986
Control of nonholonomic systems via dynamic compensation

Alessandro De Luca , Marika Domenica Di Benedetto
Kybernetika 29 ( 6) 593 -608

49
1993
Balancing dwell times for switching linear systems

G. Pola , Jan W. Polderman , M.D. Di Benedetto
16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004

4
2004
Special Theme "Cyber-Physical Systems"

Erwin Schoitsch , M.D. Di Benedetto , Françoise Lamnabhi-Lagarrigue
Ercim News 97 1 -5

1
2014
Active Attitude Control of Ground Vehicles with Partially Unknown Model

M.D. Di Benedetto , S. Di Gennaro , A. Borri , D. Bianchi
IFAC-PapersOnLine 53 ( 2) 14420 -14425

2020
On the equivalence of the invariant subdistribution algorithm and the structure algorithm

M.D. Di Benedetto
Systems & Control Letters 8 ( 2) 137 -145

2
1986
Some Structural Aspects in the Control of Nonholonomic Systems via Dynamic Compensation

A. De Luca , M.D. Di Benedetto
IFAC Proceedings Volumes 25 ( 21) 240 -243

1992
Hybrid controller synthesis for idle speed management of an automotive engine

A. Balluchi , L. Benvenuti , M.D. Di Benedetto , T. Villa
american control conference 2 1181 -1185

8
2000
A sub-optimal method for routing redundancy design over lossy networks

F. Smarra , M.D. Di Benedetto , A. D’Innocenzo
IFAC-PapersOnLine 50 ( 1) 2549 -2554

3
2017
Data-Rate and Network Coding Co-Design With Stability And Capacity Constraints

G.D. Di Girolamo , M.D. Di Benedetto , A.S.A. Dilip , A. D’Innocenzo
IFAC-PapersOnLine 50 ( 1) 6397 -6402

3
2017
Decentralized symbolic control of interconnected systems with application to vehicle platooning

A. Borri , D.V. Dimarogonas , K.H. Johansson , M.D. Di Benedetto
IFAC Proceedings Volumes 46 ( 27) 285 -292

16
2013
CRITICAL STATES DETECTION WITH BOUNDED PROBABILITY OF FALSE ALARM AND APPLICATION TO AIR TRAFFIC MANAGEMENT

M.D. Di Benedetto , S. Di Gennaro , A. D'Innocenzo
IFAC Proceedings Volumes 39 ( 5) 24 -29

9
2006
1
2016
Networked model predictive traffic control with time varying optimization horizon: The Grenoble South Ring case study

D. Bianchi , A. Ferrara , M.D. Di Benedetto
european control conference 4039 -4044

8
2013
Model matching for finite-state machines

M.D. Di Benedetto , A. Sangiovanni-Vincentelli , T. Villa
IEEE Transactions on Automatic Control 46 ( 11) 1726 -1743

54
2001
Hamiltonian adaptive control of spacecraft

J.-E. Slotine , M.D. Di Benedetto
IEEE Transactions on Automatic Control 35 ( 7) 848 -852

259
1990
Nonlinear strong model matching

M.D. Di Benedetto
IEEE Transactions on Automatic Control 35 ( 12) 1351 -1355

22
1990
Critical Observability and Hybrid Observers for Error Detection in Air Traffic Management

M.D. Di Benedetto , S. Di Gennaro , A. D'Innocenzo
international symposium on intelligent control 1303

8
2005
A structural approach to the control of switching systems with an application to automotive engines

L. Berardi , E. De Santis , M.D. Di Benedetto
conference on decision and control 4 3526 -3531

8
1999