CyPhyLab

News

Home‎ > ‎

Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be re-posted without the explicit permission of the copyright holder.

Preprints

A Notion of Robustness for Cyber-Physical Systems
Matthias Rungger and Paulo Tabuada
arXiv:1310.5199

Robustness of Attack-resilient State Estimators
Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee and George J. Pappas
Accepted for publication in ICCPS 2014.

Abstracting and Refining Robustness for Cyber-Physical Systems
Matthias Rungger and Paulo Tabuada
Accepted for publication in HSCC 2014.

Self-Triggered Linear Quadratic Control
Tom Gommans, Duarte Antunes, Tijs Donkers, Paulo Tabuada, and Maurice Heemels
Accepted for publication in Automatica, 2014.

Compositional Transient Stability Analysis of Multi-Machine Power Networks
Sina Y. Caliskan and Paulo Tabuada
Accepted for publication in IEEE Transactions on Control of Network Systems, 2014
arXiv:1309.5422

Towards robustness for Cyber-Physical Systems
Paulo Tabuada, Sina Caliskan, Matthias Rungger, and Rupak Majumdar
Accepted for publication in IEEE Transactions on Automatic Control, 2014.

Secure estimation and control for cyber-physical systems under adversarial attacks
Hamza Fawzi, Paulo Tabuada, and Suhas Diggavi
Accepted for publication in IEEE Transactions on Automatic Control, 2014.
arXiv:1205:5073

Event-Triggered State Observers for Sparse Noise/Attacks
Y. Shoukry and P. Tabuada
arXiv:1309:3511

Kron reduction for generalized electrical networks
Sina Y. Caliskan and Paulo Tabuada
arXiv:1207:0563

Books

Verification and Control of Hybrid Systems: A Symbolic Approach
Paulo Tabuada
Springer, 2009.
Available online through SpringerLink





Hybrid Systems: Computation and Control (HSCC'09)

Rupak Majumdar and Paulo Tabuada, (Eds.)
Volume 5469 of Lecture Notes in Computer Science
Springer, 2009.







Networked Embedded Sensing and Control

Panos J. Antsaklis and Paulo Tabuada, (Eds.)
Volume 331 of Lecture Notes in Control and Information Sciences
Springer, 2006.







Journal papers

Self-Triggered Linear Quadratic Control
Tom Gommans, Duarte Antunes, Tijs Donkers, Paulo Tabuada, and Maurice Heemels
Accepted for publication in Automatica, 2014.

Compositional Transient Stability Analysis of Multi-Machine Power Networks
Sina Y. Caliskan and Paulo Tabuada
Accepted for publication in IEEE Transactions on Control of Network Systems, 2014
arXiv:1309.5422

Towards robustness for Cyber-Physical Systems
Paulo Tabuada, Sina Caliskan, Matthias Rungger, and Rupak Majumdar
Accepted for publication in IEEE Transactions on Automatic Control, 2014.

Secure estimation and control for cyber-physical systems under adversarial attacks
Hamza Fawzi, Paulo Tabuada, and Suhas Diggavi
Accepted for publication in IEEE Transactions on Automatic Control, 2014.
arXiv:1205:5073

System Architectures, Protocols and Algorithms for Aperiodic Wireless Control Systems
J. Araujo, M. Mazo, A. Anta, P. Tabuada, and K.H. Johansson
IEEE Transactions on Industrial Informatics, 10(1), 175-184, 2014.

A theory of robust omega-regular software synthesis
Rupak Majumdar, Elaine Render, and Paulo Tabuada
ACM Transactions on Embedded Computing Systems, 13(3), 2013.
arXiv:1108:3540

Minimum attention control for linear systems
M. C. F. Donkers, P. Tabuada, and W. P. M. H. Heemels
Discrete Event Dynamical Systems, 2012.

Symbolic models for nonlinear control systems without stability assumptions
Majid Zamani, Giordano Pola, Manuel Mazo Jr., and Paulo Tabuada
IEEE Transactions on Automatic Control, 57(7), 1804-1809, 2012.
arXiv:1002.0822

Exploiting Isochrony in Self-Triggered Control
Adolfo Anta and Paulo Tabuada
IEEE Transactions on Automatic Control, 57(4), 950-962, 2012.
DOI:10.1109/TAC.2011.2169631
arXiv:1009:5208

Decentralized event-triggered control over wireless sensor/actuator networks.
Manuel Mazo Jr. and Paulo Tabuada
IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, 56(10), 2456-2461, 2011.
arXiv:1004.0477

Backstepping design for incremental stability.
Majid Zamani and Paulo Tabuada
IEEE Transactions on Automatic Control, 56(9), 2184-2189, 2011.
arXiv:1005.4957

Symbolic approximate time-optimal control
Manuel Mazo Jr. and Paulo Tabuada
Systems and Control Letters, 60, 256-263, 2011.
arXiv:1004.0763

To sample or not to sample: Self-triggered control for nonlinear systems
Adolfo Anta and Paulo Tabuada
IEEE Transactions on Automatic Control, 55(9), 2030-2042, 2010.

An ISS self-triggered implementation of linear controllers.
Manuel Mazo Jr., Adolfo Anta, and Paulo Tabuada
Automatica, 46(8), 1310-1314, 2010.
DOI:10.1016/j.automatica.2010.05.009
arXiv:0906.3588

Symbolic models for nonlinear time-delay systems using approximate bisimulations
Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto, and Paulo Tabuada
Systems and Control Letters, 59, 365-373, 2010.
DOI:10.1016/j.sysconle2010.04.001
arXiv:0903.0361

Approximately bisimilar symbolic models for incrementally stable switched systems
Antoine Girard, Giordano Pola and Paulo Tabuada
IEEE Transactions on Automatic Control, 55(1), 116-126, 2010.
arXiv:0807.5022

Symbolic models for nonlinear control systems: Alternating approximate bisimulations
Giordano Pola and Paulo Tabuada
SIAM Journal on Control and Optimization, 48(2), 719-733, 2009.
arXiv:0707.4205 

Approximately bisimilar symbolic models for nonlinear control systems
Giordano Pola, Antoine Girard and Paulo Tabuada
Automatica, 44(10), 2508-2516, October 2008.
arXiv:0706.0246

An approximate simulation approach to symbolic control
Paulo Tabuada
IEEE Transactions on Automatic Control, 53(6), 1406-1418, July 2008.

Approximate reduction of dynamical systems
Paulo Tabuada, Aaron D. Ames, Agung Julius, and George J. Pappas
Systems and Control Letters, 57(7), 538-545, July 2008.    
DOI:10.1016/j.sysconle.2007.12.005
arXiv:0707.3804

Controller synthesis for bisimulation equivalence
Paulo Tabuada
Systems and Control Letters, 57(6), 443-452, June 2008.    
arXiv:0706.0929

Event-triggered real-time scheduling of stabilizing control tasks
Paulo Tabuada
IEEE Transactions on Automatic Control, 52(9), 1680-1685, September 2007.
DOI:10.1109/TAC.2007.904277
PDF file

Symbolic models for control systems
Paulo Tabuada
Acta Informatica, 43(7), 477-500, February 2007.
Special issue on Hybrid Systems.
PDF file

Linear Time Logic control of discrete-time linear systems
Paulo Tabuada and George J. Pappas
IEEE Transactions on Automatic Control, 51(12), 1862-1877, December 2006
PDF file

Local factorization of trajectory lifting morphisms for single-input affine control systems
Paulo Tabuada
Systems and Control Letters, 55(9), 761-769, September 2006.
PDF file

Symbolic control of linear systems based on symbolic subsystems
Paulo Tabuada
IEEE Transactions on Automatic Control, 51(6), 1003-1013, June 2006.
Special issue on Symbolic Methods for Complex Control Systems.

Bisimulation relations for dynamical, control and hybrid systems
Esfandiar Haghverdi, Paulo Tabuada and George J. Pappas
Theoretical Computer Science, 342(2-3), 229-261, 2005.
PDF file

Motion Feasibility of Multi-Agent Formations
Paulo Tabuada, Pedro Lima and George J. Pappas.
IEEE Transactions on Robotics, 21(3), 387-392, 2005.
PDF file

Quotients of Fully Nonlinear Control Systems
Paulo Tabuada and George J. Pappas.
SIAM Journal on Control and Optimization, 43(5), 1844-1866, 2005.
PDF file

Hierarchical trajectory generation for a class of nonlinear systems
Paulo Tabuada and George J. Pappas.
Automatica, 41(4), 701-708, April 2005.
PDF file, Corrigendum

Bisimilar Control Affine Systems
Paulo Tabuada and George J. Pappas.
Systems and Control Letters, 52(1), 49-58, May 2004.
DOI:10.1016/j.sysconle.2003.09.013
PDF file

Compositional Abstractions of Hybrid Control Systems
Paulo Tabuada, George J. Pappas and Pedro Lima.
Journal of Discrete Event Dynamical Systems, 14(2), 203-238, April 2004.
PDF file

Abstractions of Hamiltonian Control Systems
Paulo Tabuada and George J. Pappas.
Automatica, 39(12), 2025-2033, December 2003.
PDF file

From Nonlinear to Hamiltonian via Feedback
Paulo Tabuada and George J. Pappas.
IEEE Transactions on Automatic Control, 48(8), 1439-1442, August 2003.

Conference papers

Periodic Event-Triggered Control for Nonlinear Systems
R. Postoyan, A. Anta, W.P.M.H. Heemels, P. Tabuada, and D. Nesic
52nd IEEE Conference on Decision and Control

Towards a Compositional Analysis of Multi-Machine Power Systems Transient Stability
S. Y. Caliskan and P. Tabuada
52nd IEEE Conference on Decision and Control

A Symbolic Approach to the Design of Robust Cyber-Physical Systems
M. Rungger and P. Tabuada
52nd IEEE Conference on Decision and Control

Noninvasive spoofing attacks for Anti-Lock Braking systems
Y. Shoukry, P. Martin, P. Tabuada, and M. Srivastava
Workshop on Cryptographic Hardware and Embedded Systems 2013 (CHES 2013).

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
M. Rungger, M. Mazo Jr., and P. Tabuada
Hybrid Systems: Computation and Control 2013 (HSCC'03).

Minimax control for cyber-physical systems under network packet scheduling attacks
Y. Shoukry, J. Araujo, P. Tabuada, M. Srivastava, K. H. Johansson
Proceedings of the 2nd ACM international conference on High confidence networked systems (HiCoNS '13)

An introduction to event-triggered and self-triggered control
W.P.M.H. Heemels, Karl H. Johansson, and Paulo Tabuada
51st IEEE Conference on Decision and Control, December, 2012.

Kron reduction of power networks with lossy and dynamic transmission lines
Sina Caliskan and Paulo Tabuada
51st IEEE Conference on Decision and Control, December, 2012.

Dynamic programming formulation of periodic event-triggered control: performance guarantees and co-design
Duarte Antunes, W.P.M.H. Heemels, Paulo Tabuada
51st IEEE Conference on Decision and Control, December, 2012.

Scaling up controller synthesis for linear systems and safety specifications
Matthias Rungger, Manuel Mazo Jr., and Paulo Tabuada
51st IEEE Conference on Decision and Control, December, 2012.

Security for control systems under sensor and actuator attacks
Hamza Fawzi, Paulo Tabuada, and Suhas Diggavi
51st IEEE Conference on Decision and Control, December, 2012.

An improved self-triggered implementation for linear controllers
Jose Araujo, Hamza Fawzi, Manuel Mazo Jr., Paulo Tabuada, and Karl H. Johansson
3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2012.

Input-Output robustness for discrete systems
Paulo Tabuada, Ayca Balkan, Sina Yamac Caliskan, Yasser Shoukry, and Rupak Majumdar
International Conference on Embedded Software (EMSOFT), 2012.

Secure state-estimation for dynamical systems under active adversaries
Hamza Fawzi, Paulo Tabuada, and Suhas Diggavi
49th Annual Allerton Conference on Communication, Control, and Computing, 2011.

On the minimum attention control problem for linear systems: A linear programing approach
M.C.F. Donkers, P. Tabuada, and W.P.M.H. Heemels
50th IEEE Conference on Decision and Control, December, 2011.
arXiv:1108:2783

A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems
Romain Postoyan, Adolfo Anta, Dragan Nesic, and Paulo Tabuada
50th IEEE Conference on Decision and Control, December, 2011.

Event-triggered and self-triggered stabilization of networked control systems
Romain Postoyan, Paulo Tabuada, Dragan Nesic, and Adolfo Anta
50th IEEE Conference on Decision and Control, December, 2011.

Self-triggered control for industrial wireless sensor and actuator networks
Jose Araujo, Adolfo Anta, Manuel Mazo Jr., Joao Faria, Aitor Hernandez, Paulo Tabuada, and Karl Johansson
REALWIN 2011, CPSWeek 2011.

Robust Discrete Synthesis Against Unspecified Disturbances
Rupak Majumdar, Elaine Render, and Paulo Tabuada
Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control 2011.
doi:10.1145/1967701.1967732

Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems
Pritam Roy, Paulo Tabuada, and Rupak Majumdar.
Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control 2011.
Dynamic scheduling and control-quality optimization of self-triggered control applications
Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada and Anton Cervin
Proceedings of the 31st IEEE Real-Time Systems Symposium 2010.

Towards backstepping design for incremental stability
Majid Zamani and Paulo Tabuada
Proceedings of the 49th IEEE Conference on Decision and Control, 2010.
PDF file

On the minimum attention and anytime attention problems for nonlinear systems
Adolfo Anta and Paulo Tabuada
Proceedings of the 49th IEEE Conference on Decision and Control, 2010.

Automatic verification of control systems implementations.
Adolfo Anta, Rupak Majumdar, Indranil Saha, and Paulo Tabuada
Proceedings of the 2010 International Conference on Embedded Software. Best Paper Awardee.

Symbolic models for unstable nonlinear control systems
Majid Zamani, Giordano Pola, and Paulo Tabuada
Proceedings of the 2010 American Control Conference, June 2010.
PDF file

Approximate time-optimal control via approximate alternating simulations
Manuel Mazo Jr. and Paulo Tabuada
Proceedings of the 2010 American Control Conference, June 2010.
PDF file

Towards decentralized event-triggered implementations of centralized control laws
Manuel Mazo Jr. and Paulo Tabuada
CONET 2010, April 2010.

PESSOA: towards the automatic synthesis of correct-by-design control software
Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada
International Conference on Hybrid Systems: Computation and Control (HSCC), Work in progress, April 2010.

On the benefits of relaxing the periodicity assumption for networked control systems over CAN
Adolfo Anta and Paulo Tabuada
Proceedings of the 30th IEEE Real-Time Systems Symposium, December 2009.
PDF file

Isochronous manifolds in self-triggered control
Adolfo Anta and Paulo Tabuada
Proceedings of the 48th IEEE Conference on Decision and Control, December 2009.
PDF file


Input-to-state stability of self-triggered control systems
Manuel Mazo Jr. and Paulo Tabuada
Proceedings of the 48th IEEE Conference on Decision and Control, December 2009.

A symbolic model approach to the digital control of time-delay systems
G. Pola, P. Pepe, M. Domenica Di Benedetto, and P. Tabuada
Proceedings of the 48th IEEE Conference on Decision and Control, December 2009.

On Self-Triggered Control for Linear Systems: Guarantees and Complexity
Manuel Mazo Jr., Adolfo Anta and Paulo Tabuada
Proceedings of the 10th European Control Conference, August 2009.
PDF file

Space-time scaling laws for self-triggered control
Adolfo Anta and Paulo Tabuada
Proceedings of the 47th IEEE Conference on Decision and Control, December 2008.
PDF file

Event-triggered and Self-triggered control over sensor/actuator network
Manuel Mazo Jr. and Paulo Tabuada
Proceedings of the 47th IEEE Conference on Decision and Control, December 2008.
PDF file

Symbolic models for nonlinear control systems affected by disturbances
Giordano Pola and Paulo Tabuada
Proceedings of the 47th Conference on Decision and Control, December 2008.
PDF file

Self-triggered stabilization of homogeneous control systems 
Adolfo Anta and Paulo Tabuada 
Proceedings of the 2008 American Control Conference, June 2008.
PDF file

On the benefits of relaxing the periodicity assumption for control tasks
Adolfo Anta and Paulo Tabuada
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, Work-In-Progress track, April 2008.
PDF file

Symbolic models for nonlinear control systems using approximate bisimulations
Giordano Pola, Antoine Girard and Paulo Tabuada
Proceedings of the 46th IEEE Conference on Decision and Control, 2007.
PDF file

Symbolic models for linear control systems with disturbances
Giordano Pola and Paulo Tabuada
Proceedings of the 46th IEEE Conference on Decision and Control, 2007.
PDF file

Approximate reduction of dynamical systems
Paulo Tabuada, Aaron Ames, Agung Julius and George Pappas
Proceedings of the 45th IEEE Conference on Decision and Control, 2006.
PDF file

Preliminary results on state-triggered scheduling of stabilizing control tasks
Paulo Tabuada and Xiaofeng Wang
Proceedings of the 45th IEEE Conference on Decision and Control, 2006.
PDF file

Symbolic sub-systems and symbolic control of linear systems
Paulo Tabuada.
Proceeding of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005.
PDF file

On the factorization of trajectory lifting maps
Paulo Tabuada.
Proceeding of the 44th IEEE Conference on Decision and Control, Seville, Spain, 2005.
PDF file


Book Chapters

Noninvasive spoofing attacks for Anti-Lock Braking systems
Y. Shoukry, P. Martin, P. Tabuada, and M. Srivastava
Workshop on Cryptographic Hardware and Embedded Systems 2013 (CHES 2013)
Volume 8086 of Lecture Notes in Computer Science, Springer, 2013.
DOI:
10.1007/978-3-642-40349-1_4

Self-triggered control over wireless sensor and actuator networks
Jose Araujo, Adolfo Anta, Manuel Mazo Jr., Joao Faria, Aitor Hernandez, Paulo Tabuada, and Karl Johansson
DCOSS'11, Lecture Notes in Computer Science, Springer, 2011.
DOI:10.1109/DCOSS.2011.5982135

PESSOA: A tool for embedded controller synthesis
Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada
22nd International Conference on Computer Aided Verification
Volume 6174 of Lecture Notes in Computer Science, Springer, July 2010.

Approximately bisimilar symbolic models for incrementally stable switched systems
Antoine Girard, Giordano Pola and Paulo Tabuada
Hybrid Systems: Computation and Control 2008
Volume 4981 of Lecture Notes in Computer Science, Springer 2008.   

Approximate simulation relations and finite abstractions of quantized control systems
Paulo Tabuada
Hybrid Systems: Computation and Control
Volume 4416 of Lecture Notes in Computer Science, Springer, April 2007
PDF file

On simulations and bisimulations of general flow systems
Jennifer Davoren and Paulo Tabuada
Hybrid Systems: Computation and Control
Volume 4416 of Lecture Notes in Computer Science, Springer, April 2007

On the stability of Zeno equilibria
Aaron Ames, Paulo Tabuada and Shankar Sastry
Hybrid Systems: Computation and Control
Volume 3927 of Lecture Notes in Computer Science, Springer, March 2006
PDF file

Sensor/actuator abstractions for symbolic embedded control design
Paulo Tabuada
Hybrid Systems: Computation and Control
Volume 3414 of Lecture Notes in Computer Science, Springer, March 2005
PDF file

Open maps, alternating simulations and control synthesis
Paulo Tabuada
15th International Conference on Concurrency Theory
Volume 3170 of Lecture Notes in Computer Science, Springer, September 2004
PDF file

Model Checking LTL over Controllable Linear Systems is Decidable
Paulo Tabuada and George J. Pappas
Hybrid Systems: Computation and Control
Volume 2623 of Lecture Notes in Computer Science, Springer-Verlag, April 2003
PDF file

Bisimulation Relations for Dynamical and Control Systems
Esfandiar Haghverdi, Paulo Tabuada and George J. Pappas
Rick Blute and Peter Selinger eds.
Volume 69 of Electronic Notes in Theoretical Computer Science, Elsevier
PDF file

Composing Abstractions of Hybrid Systems
Paulo Tabuada, George J. Pappas and Pedro Lima
Hybrid Systems: Computaion and Control
Volume 2289 of Lecture Notes in Computer Science, Springer-Verlag, March 2002
PDF file

Hybrid abstractions that preserve timed languages
Paulo Tabuada and George J. Pappas
Hybrid Systems: Computation and Control
Volume 2034 of Lecture Notes in Computer Science, Springer-Verlag, March 2001
PDF file

Satellite Attitude Control Problem
R. Wisniewski, A. Astolfi, T. Bak, M. Blanke, P. Lima, K. Spindler, P. Tabuada and P. Tavares
Chapter in Control of Complex Systems (COSY), Springer-Verlag, Berlin, 2000 

Presentations

Tutorial session on event-triggered control at CDC 2012. Slides by Tabuada, Heemels, and Johansson.

Technical Reports

PESSOA: A tool for embedded control software synthesis 
Manuel Mazo Jr., Anna Davitian, and Paulo Tabuada 
Technical Report UCLA-CyPhyLab-2010-01, 2010.
PDF file