| Research and Teaching Interests: Cyber-physical systems, cyber-physical systems security, control systems, smart grid |
||
| Awards and Recognitions |
| 2019 | Fellow, International Federation of Automatic Control |
| 2017 | Fellow, IEEE – Institute of Electrical and Electronics Engineers |
| 2011 | George S. Axelby Award |
| 2009 | Donald P. Eckman Award |
| 2005 | NSF CAREER Award |
| Selected Publications |
- S. Y. Caliskan and P. Tabuada, “Compositional Transient Stability Analysis of Multi-Machine Power Networks,” IEEE Transactions on Control of Network Systems, 1(1), 2014
- P. Tabuada, S. Caliskan, M. Rungger, and R. Majumdar, “Towards robustness for Cyber-Physical Systems,” IEEE Transactions on Automatic Control, 59(12), 2014. Special issue on control of CPS
- H. Fawzi, P. Tabuada, and S. Diggavi, “Secure estimation and control for cyber-physical systems under adversarial attacks,” IEEE Transactions on Automatic Control, 59(6), 2014
- R. Majumdar, E. Render, and P. Tabuada, “A theory of robust omega-regular software synthesis,” ACM Transactions on Embedded Computing Systems, 13(3), 2013
- M. Mazo Jr. and P. Tabuada, “Decentralized event-triggered control over wireless sensor/actuator networks,” IEEE Transactions on Automatic Control, Special Issue on Wireless Sensor and Actuator Networks, 56(10), 2456-2461, 2011
- A. Anta and P. Tabuada, “To sample or not to sample: Self-triggered control for nonlinear systems,” IEEE Transactions on Automatic Control, 55(9), 2030-2042, 2010
- G. Pola, A. Girard and P. Tabuada, “Approximately bisimilar symbolic models for nonlinear control systems,” Automatica, 44(10), 2508-2516, October 2008
- P. Tabuada, “Controller synthesis for bisimulation equivalence,” Systems and Control Letters, 57(6), 443-452, June 2008
- P. Tabuada, “Event-triggered real-time scheduling of stabilizing control tasks,” IEEE Transactions on Automatic Control, 52(9), 1680-1685, September 2007
- P. Tabuada and G. J. Pappas, “Linear Time Logic control of discrete-time linear systems,” IEEE Transactions on Automatic Control, 51(12), 1862-1877, December 2006