Cyber-Physical Systems Project
Control of Distributed Cyber-Physical Systems
under Partial Information and Limited Communication
Publications
Journal Publications
- W. Wang, A. Girard, S. Lafortune, and F. Lin,
"On Codiagnosability and Coobservability with Dynamic Observations",
IEEE Transactions on Automatic Control, 2011.
DOI: 10.1109/TAC.2011.2108410
IEEE Xplore link
- A. Paoli, M. Sartini, and S. Lafortune, "Active fault tolerant
control of discrete event systems using online diagnostics",
Automatica, Volume 47, Issue 4, April 2011, Pages 639-649.
DOI: 10.1016/j.automatica.2011.01.007
Science Direct link
- W. Wang, S. Lafortune, A. Girard, and F. Lin, "Optimal Sensor
Activation for Diagnosing Discrete Event Systems", Automatica, p.
1165, vol. 46, 2010.
DOI: 10.1016/j.automatica.2010.04.004
Science Direct link
- W. Wang, S. Lafortune, F. Lin, and A. Girard, "Minimization of
Dynamic Sensor Activation in Discrete Event Systems for the Purpose
of Control", IEEE Transactions on Automatic Control, 2010.
DOI: 10.1109/TAC.2010.2046062
IEEE Xplore link
- M.P. Cabasino, A. Giua, S. Lafortune, and C. Seatzu, "A New Approach for Diagnosability Analysis of Petri Nets using Verifier Nets", IEEE Transactions on Automatic Control, Vol. 57, No. 12, December 2012, pp. 3104-3117.
DOI: 10.1109/TAC.2012.2200372
IEEE Xplore link
- J.C. Basilio, S.T.S. Lima, S. Lafortune, and M.V. Moreira, "Computation of Minimal Event Bases that Ensure Diagnosability", Discrete Event Dynamic Systems: Theory and Applications, 2012
DOI: 10.1007/s10626-012-0129-z
Springer link
Conference Publications
- P. Pena, J. Cury, R. Malik, and S. Lafortune, "Efficient
Computation of Observer Projections using OP-Verifiers", Proceedings
of the 10th International Workshop on Discrete Event Systems (WODES
2010).
DOI: 10.3182/20100830-3-DE-4013.00067
IFAC link
- E. Dallal and S. Lafortune, "On Most Permissive Observers in
Dynamic Sensor Optimization Problems for Discrete Event Systems",
Proceedings of the 48th Allerton Conference on Communication, Control, and
Computing, 2010.
DOI: 10.1109/ALLERTON.2010.5706923
IEEE Xplore link
- J. Duperret, M. Hafner and D. Del Vecchio, "Formal Design of a
Provably Safe Robotic Roundabout System", Proceedings of the
International Conference on Intelligent Robots and Systems (IROS
2010).
DOI: 10.1109/IROS.2010.5649789
IEEE Xplore link
- R. Verma and D. Del Vecchio, "Continuous Control of Hybrid
Automata with Imperfect Mode Information Assuming Separation between
State Estimation and Control", Proceedings of the 48th IEEE
Conference on Decision and Control (CDC 2009).
DOI: 10.1109/CDC.2009.5399541
IEEE Xplore link
- E. Dallal and S. Lafortune, "Efficient Computation of Most Permissive
Observers in Dynamic Sensor Activation Problems", Proceedings of 2nd
International Workshop on Logical Aspects of Fault-Tolerance (LAFT 2011).
PDF link
- A. Colombo and D. Del Vecchio,
"Supervisory control of differentially flat systems based on abstraction", IEEE Conf. on Decision and Control, 2011.
DOI: 10.1109/CDC.2011.6160759
IEEE Xplore link
- R. Ghaemi and D. Del Vecchio,
"Safety control of piece-wise continuous order preserving systems", IEEE Conf. on Decision and Control, 2011 (Invited paper).
DOI: 10.1109/CDC.2011.6160676
IEEE xplore link
- A. Colombo and D. Del Vecchio,
"Enforcing Safety of Cyber-Physical Systems Using Flatness and Abstraction", IEEE/ACM Second International Conference on Cyber-Physical Systems, Chicago. (Abstract for Work in Progress Session).
DOI: 10.1145/2000367.2000369
ACM link
- E. Dallal and S. Lafortune,
"A Framework for Optimization of Sensor Activation using Most Permissive Observers", IEEE Conf. on Decision and Control, 2011
DOI: 10.1109/CDC.2011.6160506
IEEE xplore
- A. Colombo and D. Del Vecchio,
"Efficient algorithms for collision avoidance at intersections",
Proceedings of the Hybrid Systems: Computation and Control Conference (HSCC 2012).
DOI: 10.1145/2185632.2185656
ACM link
- M. P. Cabasino, S. Lafortune, and C. Seatzu,
"Optimal Sensor Selection for Ensuring Diagnosability in Labeled Bounded Petri Nets",
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012).