☰

Paulo Tabuada - Publications

Affiliations: 
Electrical Engineering University of California, Los Angeles, Los Angeles, CA 
Area:
Cyber-physical systems, cyber-physical systems security, control systems, smart grid
Website:
https://www.ee.ucla.edu/paulo-tabuada/
Tree Info Similar researchers PubMed Report error

116 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Agarwal GK, Karmoose M, Diggavi SN, Fragouli C, Tabuada P. Distortion based Light-weight Security for Cyber-Physical Systems Ieee Transactions On Automatic Control. 1-1. DOI: 10.1109/Tac.2020.3006814  0.335
2020 Alexandru AB, Gatsis K, Shoukry Y, Seshia SA, Tabuada P, Pappas GJ. Cloud-based Quadratic Optimization with Partially Homomorphic Encryption Ieee Transactions On Automatic Control. 1-1. DOI: 10.1109/Tac.2020.3005920  0.59
2020 Sultangazin A, Tabuada P. Symmetries and isomorphisms for privacy in control over the cloud Ieee Transactions On Automatic Control. 1-1. DOI: 10.1109/Tac.2020.2982611  0.453
2020 Legat B, Tabuada P, Jungers RM. Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control Nonlinear Analysis: Hybrid Systems. 36: 100858. DOI: 10.1016/J.Nahs.2020.100858  0.522
2020 Showkatbakhsh M, Shoukry Y, Diggavi SN, Tabuada P. Securing state reconstruction under sensor and actuator attacks: Theory and design Automatica. 116: 108920. DOI: 10.1016/J.Automatica.2020.108920  0.359
2019 Allgöwer F, Sousa JBd, Kapinski J, Mosterman P, Oehlerking J, Panciatici P, Prandini M, Rajhans A, Tabuada P, Wenzelburger P. Position paper on the challenges posed by modern applications to cyber-physical systems theory Nonlinear Analysis: Hybrid Systems. 34: 147-165. DOI: 10.1016/J.Nahs.2019.05.007  0.451
2019 Kenanian J, Balkan A, Jungers RM, Tabuada P. Data driven stability analysis of black-box switched linear systems Automatica. 109: 108533. DOI: 10.1016/J.Automatica.2019.108533  0.452
2018 Shoukry Y, Chong M, Wakaiki M, Nuzzo P, Sangiovanni-Vincentelli A, Seshia SA, Hespanha JP, Tabuada P. SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks Acm Transactions On Cyber-Physical Systems. 2: 1-27. DOI: 10.1145/3078621  0.336
2018 Xu X, Grizzle JW, Tabuada P, Ames AD. Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control Ieee Transactions On Automation Science and Engineering. 15: 1216-1229. DOI: 10.1109/Tase.2017.2760863  0.478
2018 Balkan A, Vardi M, Tabuada P. Mode-Target Games: Reactive Synthesis for Control Applications Ieee Transactions On Automatic Control. 63: 196-202. DOI: 10.1109/Tac.2017.2722960  0.349
2018 Abdelzaher T, Ayanian N, Basar T, Diggavi S, Diesner J, Ganesan D, Govindan R, Jha S, Lepoint T, Marlin B, Nahrstedt K, Nicol D, Rajkumar R, Russell S, Seshia S, ... ... Tabuada P, et al. Toward an Internet of Battlefield Things: A Resilience Perspective Computer. 51: 24-36. DOI: 10.1109/Mc.2018.2876048  0.364
2018 Legat B, Tabuada P, Jungers RM. Computing controlled invariant sets for hybrid systems with applications to model-predictive control Ifac-Papersonline. 51: 193-198. DOI: 10.1016/J.Ifacol.2018.08.033  0.5
2018 Borgers DP, Postoyan R, Anta A, Tabuada P, Nešić D, Heemels WPMH. Periodic event-triggered control of nonlinear systems using overapproximation techniques Automatica. 94: 81-87. DOI: 10.1016/J.Automatica.2018.04.019  0.456
2018 Wakaiki M, Tabuada P, Hespanha JP. Supervisory Control of Discrete-Event Systems Under Attacks Dynamic Games and Applications. 9: 965-983. DOI: 10.1007/S13235-018-0285-3  0.461
2017 Balkan A, Tabuada P, Deshmukh JV, Jin X, Kapinski J. Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models Acm Transactions in Embedded Computing Systems. 17: 20. DOI: 10.1145/3122787  0.314
2017 Shoukry Y, Nuzzo P, Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P. Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach Ieee Transactions On Automatic Control. 62: 4917-4932. DOI: 10.1109/Tac.2017.2676679  0.38
2017 Rungger M, Tabuada P. Computing Robust Controlled Invariant Sets of Linear Systems Ieee Transactions On Automatic Control. 62: 3665-3670. DOI: 10.1109/Tac.2017.2672859  0.485
2017 Ames AD, Xu X, Grizzle JW, Tabuada P. Control Barrier Function Based Quadratic Programs for Safety Critical Systems Ieee Transactions On Automatic Control. 62: 3861-3876. DOI: 10.1109/Tac.2016.2638961  0.492
2017 Ames AD, Tabuada P, Jones A, Ma WL, Rungger M, Schürmann B, Kolathaya S, Grizzle JW. First steps toward formal controller synthesis for bipedal robots with experimental implementation Nonlinear Analysis: Hybrid Systems. 25: 155-173. DOI: 10.1016/J.Nahs.2017.01.002  0.464
2017 Ozay N, Tabuada P. Guest editorial: special issue on formal methods in control Discrete Event Dynamic Systems. 27: 205-208. DOI: 10.1007/S10626-017-0246-9  0.411
2016 Rungger M, Tabuada P. A Notion of Robustness for Cyber-Physical Systems Ieee Transactions On Automatic Control. 61: 2108-2123. DOI: 10.1109/Tac.2015.2492438  0.522
2016 Schmuck AK, Tabuada P, Raisch J. Comparing asynchronous l-complete approximations and quotient based abstractions Proceedings of the Ieee Conference On Decision and Control. 2016: 6823-6829. DOI: 10.1109/CDC.2015.7403294  0.312
2016 Xu X, Tabuada P, Grizzle JW, Ames AD. Robustness of Control Barrier Functions for Safety Critical Control Ifac-Papersonline. 48: 54-61. DOI: 10.1016/J.Ifacol.2015.11.152  0.401
2015 Nilsson P, Hussien O, Balkan A, Chen Y, Ames AD, Grizzle JW, Ozay N, Peng H, Tabuada P. Correct-by-Construction Adaptive Cruise Control: Two Approaches Ieee Transactions On Control Systems Technology. DOI: 10.1109/Tcst.2015.2501351  0.518
2015 Johansson KH, Pappas GJ, Tabuada P, Tomlin CJ. Guest editorial special issue on control of cyber-physical systems Ieee Transactions On Automatic Control. 59: 3120-3121. DOI: 10.1109/Tac.2014.2363896  0.655
2015 Postoyan R, Tabuada P, Nešić D, Anta A. A Framework for the Event-Triggered Stabilization of Nonlinear Systems Ieee Transactions On Automatic Control. 60: 982-996. DOI: 10.1109/Tac.2014.2363603  0.543
2015 Tabuada P, Caliskan SY, Rungger M, Majumdar R. Towards robustness for cyber-physical systems Ieee Transactions On Automatic Control. 59: 3151-3163. DOI: 10.1109/Tac.2014.2351632  0.548
2015 Balkan A, Vardi MY, Tabuada P. Controller Synthesis for Mode-Target Games Ifac-Papersonline. 48: 343-350. DOI: 10.1016/J.Ifacol.2015.11.198  0.311
2015 Tabuada P, Pappas GJ, Lima P. Hybrid abstractions: A search and rescue case study 2001 European Control Conference, Ecc 2001. 3864-3869.  0.327
2014 Rungger M, Tabuada P. Abstracting and refining robustness for cyber-physical systems Hscc 2014 - Proceedings of the 17th International Conference On Hybrid Systems: Computation and Control (Part of Cps Week). 223-232. DOI: 10.1145/2562059.2562133  0.354
2014 Araujo J, Mazo M, Anta A, Tabuada P, Johansson KH. System architectures, protocols and algorithms for aperiodic wireless control systems Ieee Transactions On Industrial Informatics. 10: 175-184. DOI: 10.1109/Tii.2013.2262281  0.464
2014 Caliskan SY, Tabuada P. Compositional transient stability analysis of multimachine power networks Ieee Transactions On Control of Network Systems. 1: 4-14. DOI: 10.1109/Tcns.2014.2304868  0.351
2014 Fawzi H, Tabuada P, Diggavi S. Secure estimation and control for cyber-physical systems under adversarial attacks Ieee Transactions On Automatic Control. 59: 1454-1467. DOI: 10.1109/Tac.2014.2303233  0.503
2014 Ames AD, Grizzle JW, Tabuada P. Control barrier function based quadratic programs with application to adaptive cruise control Proceedings of the Ieee Conference On Decision and Control. 2015: 6271-6278. DOI: 10.1109/CDC.2014.7040372  0.364
2014 Rungger M, Tabuada P. Discounting the past in robust finite-state systems Proceedings of the Ieee Conference On Decision and Control. 2015: 842-847. DOI: 10.1109/CDC.2014.7039486  0.416
2014 Nilsson P, Hussien O, Chen Y, Balkan A, Rungger M, Ames A, Grizzle J, Ozay N, Peng H, Tabuada P. Preliminary results on correct-by-construction control software synthesis for adaptive cruise control Proceedings of the Ieee Conference On Decision and Control. 2015: 816-823. DOI: 10.1109/CDC.2014.7039482  0.314
2014 Gommans T, Antunes D, Donkers T, Tabuada P, Heemels M. Self-triggered linear quadratic control Automatica. 50: 1279-1287. DOI: 10.1016/J.Automatica.2014.02.030  0.385
2014 Donkers MCF, Tabuada P, Heemels WPMH. Minimum attention control for linear systems: A linear programming approach Discrete Event Dynamic Systems: Theory and Applications. 24: 199-218. DOI: 10.1007/S10626-012-0155-X  0.485
2014 Mazo M, Anta A, Tabuada P. On self-triggered control for linear systems: Guarantees and complexity 2009 European Control Conference, Ecc 2009. 3767-3772.  0.377
2013 Majumdar R, Render E, Tabuada P. A theory of robust omega-regular software synthesis Transactions On Embedded Computing Systems. 13. DOI: 10.1145/2539036.2539044  0.5
2013 Shoukry Y, Araujo J, Tabuada P, Srivastava M, Johansson KH. Minimax control for cyber-physical systems under network packet scheduling attacks Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 93-100. DOI: 10.1145/2461446.2461460  0.378
2013 Pajic M, Bezzo N, Weimer J, Alur R, Mangharam R, Michael N, Pappas GJ, Sokolsky O, Tabuada P, Weirich S, Lee I. Towards synthesis of platform-aware attack-resilient control systems: Extended abstract Hicons 2013 - Proceedings of the 2nd Acm International Conference On High Confidence Networked Systems, Part of Cpsweek 2013. 75-76. DOI: 10.1145/2461446.2461457  0.651
2013 Pajic M, Bezzo N, Weimer J, Sokolsky O, Michael N, Pappas GJ, Tabuada P, Lee I. Demo abstract: Synthesis of platform-aware attack-resilient vehicular systems 2013 Acm/Ieee International Conference On Cyber-Physical Systems, Iccps 2013. 251. DOI: 10.1109/ICCPS.2013.6604030  0.329
2013 Postoyan R, Anta A, Heemels WPMH, Tabuada P, Nešić D. Periodic event-triggered control for nonlinear systems Proceedings of the Ieee Conference On Decision and Control. 7397-7402. DOI: 10.1109/CDC.2013.6761063  0.463
2013 Rungger M, Tabuada P. A symbolic approach to the design of robust cyber-physical systems Proceedings of the Ieee Conference On Decision and Control. 3932-3937. DOI: 10.1109/CDC.2013.6760490  0.435
2012 Araújo J, Fawzi H, Mazo M, Tabuada P, Johansson KH. An improved self-triggered implementation for linear controllers Ifac Proceedings Volumes (Ifac-Papersonline). 37-42. DOI: 10.3182/20120914-2-Us-4030.00067  0.445
2012 Rungger M, Mazo M, Tabuada P. Specification-guided controller synthesis for linear systems and safe linear-time temporal logic Hscc 2013 - Proceedings of the 16th International Conference On Hybrid Systems: Computation and Control, Part of Cpsweek 2013. 1: 333-342. DOI: 10.1145/2461328.2461378  0.399
2012 Tabuada P, Balkan A, Caliskan SY, Shoukry Y, Majumdar R. Input-output robustness for discrete systems Emsoft'12 - Proceedings of the 10th Acm International Conference On Embedded Software 2012, Co-Located With Esweek. 217-226. DOI: 10.1145/2380356.2380396  0.428
2012 Zamani M, Pola G, Mazo M, Tabuada P. Symbolic models for nonlinear control systems without stability assumptions Ieee Transactions On Automatic Control. 57: 1804-1809. DOI: 10.1109/Tac.2011.2176409  0.563
2012 Anta A, Tabuada P. Exploiting isochrony in self-triggered control Ieee Transactions On Automatic Control. 57: 950-962. DOI: 10.1109/Tac.2011.2169631  0.525
2012 Fawzi H, Tabuada P, Diggavi S. Security for control systems under sensor and actuator attacks Proceedings of the Ieee Conference On Decision and Control. 3412-3417. DOI: 10.1109/CDC.2012.6426811  0.313
2012 Rungger M, Mazo M, Tabuada P. Scaling up controller synthesis for linear systems and safety specifications Proceedings of the Ieee Conference On Decision and Control. 7638-7643. DOI: 10.1109/CDC.2012.6426081  0.463
2012 Heemels WPMH, Johansson KH, Tabuada P. An introduction to event-triggered and self-triggered control Proceedings of the Ieee Conference On Decision and Control. 3270-3285. DOI: 10.1109/CDC.2012.6425820  0.402
2011 Roy P, Tabuada P, Majumdar R. Pessoa 2.0: A controller synthesis tool for cyber-physical systems Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 315-316. DOI: 10.1145/1967701.1967748  0.411
2011 Majumdar R, Render E, Tabuada P. Robust discrete synthesis against unspecified disturbances Hscc'11 - Proceedings of the 2011 Acm/Sigbed Hybrid Systems: Computation and Control. 211-220. DOI: 10.1145/1967701.1967732  0.367
2011 Mazo M, Tabuada P. Special issue technical notes and correspondence: Decentralized event-triggered control over wireless sensor/actuator networks Ieee Transactions On Automatic Control. 56: 2456-2461. DOI: 10.1109/Tac.2011.2164036  0.393
2011 Zamani M, Tabuada P. Backstepping Design for Incremental Stability Ieee Transactions On Automatic Control. 56: 2184-2189. DOI: 10.1109/Tac.2011.2158135  0.529
2011 Donkers MCF, Tabuada P, Heemels WPMH. On the minimum attention control problem for linear systems: A linear programming approach Proceedings of the Ieee Conference On Decision and Control. 4717-4722. DOI: 10.1109/CDC.2011.6161239  0.33
2011 Postoyan R, Tabuada P, Nesic D, Anta A. Event-triggered and self-triggered stabilization of distributed networked control systems Proceedings of the Ieee Conference On Decision and Control. 2565-2570. DOI: 10.1109/CDC.2011.6160795  0.367
2011 Postoyan R, Anta A, Nešić D, Tabuada P. A unifying Lyapunov-based framework for the event-triggered control of nonlinear systems Proceedings of the Ieee Conference On Decision and Control. 2559-2564. DOI: 10.1109/CDC.2011.6160794  0.47
2011 Mazo M, Tabuada P. Symbolic approximate time-optimal control Systems and Control Letters. 60: 256-263. DOI: 10.1016/J.Sysconle.2011.02.002  0.502
2010 Anta A, Majumdar R, Saha I, Tabuada P. Automatic verification of control system implementations Embedded Systems Week 2010 - Proceedings of the 10th Acm International Conference On Compilers, Architecture and Synthesis For Embedded Systems, Emsoft'10. 9-18. DOI: 10.1145/1879021.1879024  0.407
2010 Anta A, Tabuada P. To sample or not to sample: Self-triggered control for nonlinear systems Ieee Transactions On Automatic Control. 55: 2030-2042. DOI: 10.1109/Tac.2010.2042980  0.559
2010 Girard A, Pola G, Tabuada P. Approximately bisimilar symbolic models for incrementally stable switched systems Ieee Transactions On Automatic Control. 55: 116-126. DOI: 10.1109/Tac.2009.2034922  0.481
2010 Samii S, Eles P, Peng Z, Tabuada P, Cervin A. Dynamic scheduling and control-quality optimization of self-triggered control applications Proceedings - Real-Time Systems Symposium. 95-104. DOI: 10.1109/RTSS.2010.10  0.342
2010 Zamani M, Tabuada P. Towards backstepping design for incremental stability Proceedings of the Ieee Conference On Decision and Control. 2426-2431. DOI: 10.1109/CDC.2010.5717210  0.417
2010 Anta A, Tabuada P. On the minimum attention and anytime attention problems for nonlinear systems Proceedings of the Ieee Conference On Decision and Control. 3234-3239. DOI: 10.1109/CDC.2010.5717164  0.408
2010 Pola G, Pepe P, Di Benedetto MD, Tabuada P. Symbolic models for nonlinear time-delay systems using approximate bisimulations Systems and Control Letters. 59: 365-373. DOI: 10.1016/J.Sysconle.2010.04.001  0.419
2010 Mazo M, Anta A, Tabuada P. An ISS self-triggered implementation of linear controllers Automatica. 46: 1310-1314. DOI: 10.1016/J.Automatica.2010.05.009  0.449
2010 Mazo M, Davitian A, Tabuada P. PESSOA: A tool for embedded controller synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6174: 566-569. DOI: 10.1007/978-3-642-14295-6_49  0.391
2010 Zamani M, Pola G, Tabuada P. Symbolic models for unstable nonlinear control systems Proceedings of the 2010 American Control Conference, Acc 2010. 1021-1026.  0.486
2010 Mazo M, Tabuada P. Approximate time-optimal control via approximate alternating simulations Proceedings of the 2010 American Control Conference, Acc 2010. 1009-1014.  0.383
2009 Pola G, Tabuada P. Symbolic models for nonlinear control systems: Alternating approximate bisimulations Siam Journal On Control and Optimization. 48: 719-733. DOI: 10.1137/070698580  0.57
2009 Anta A, Tabuada P. On the benefits of relaxing the periodicity assumption for networked control systems over CAN Proceedings - Real-Time Systems Symposium. 3-12. DOI: 10.1109/RTSS.2009.39  0.383
2009 Anta A, Tabuada P. Isochronous manifolds in self-triggered control Proceedings of the Ieee Conference On Decision and Control. 3194-3199. DOI: 10.1109/CDC.2009.5400514  0.388
2009 Pola G, Pepe P, Di Benedetto MD, Tabuada P. A symbolic model approach to the digital control of nonlinear time-delay systems Proceedings of the Ieee Conference On Decision and Control. 2216-2221. DOI: 10.1109/CDC.2009.5399877  0.408
2009 Mazo M, Tabuada P. Input-to-state stability of self-triggered control systems Proceedings of the Ieee Conference On Decision and Control. 928-933. DOI: 10.1109/CDC.2009.5399471  0.405
2009 Tabuada P. Verification and control of hybrid systems: A symbolic approach Verification and Control of Hybrid Systems: a Symbolic Approach. 1-202. DOI: 10.1007/978-1-4419-0224-5  0.447
2008 Tabuada P. An approximate simulation approach to symbolic control Ieee Transactions On Automatic Control. 53: 1406-1418. DOI: 10.1109/Tac.2008.925824  0.543
2008 Anta A, Tabuada P. Space-time scaling laws for self-triggered control Proceedings of the Ieee Conference On Decision and Control. 4420-4425. DOI: 10.1109/CDC.2008.4739413  0.308
2008 Pola G, Tabuada P. Symbolic models for nonlinear control systems affected by disturbances Proceedings of the Ieee Conference On Decision and Control. 251-256. DOI: 10.1109/CDC.2008.4738788  0.493
2008 Anta A, Tabuada P. Self-triggered stabilization of homogeneous control systems Proceedings of the American Control Conference. 4129-4134. DOI: 10.1109/ACC.2008.4587140  0.329
2008 Tabuada P, Ames AD, Julius A, Pappas GJ. Approximate reduction of dynamic systems Systems and Control Letters. 57: 538-545. DOI: 10.1016/J.Sysconle.2007.12.005  0.679
2008 Tabuada P. Controller synthesis for bisimulation equivalence Systems and Control Letters. 57: 443-452. DOI: 10.1016/J.Sysconle.2007.11.005  0.586
2008 Pola G, Girard A, Tabuada P. Approximately bisimilar symbolic models for nonlinear control systems Automatica. 44: 2508-2516. DOI: 10.1016/J.Automatica.2008.02.021  0.527
2007 Tabuada P. Event-triggered real-time scheduling of stabilizing control tasks Ieee Transactions On Automatic Control. 52: 1680-1685. DOI: 10.1109/Tac.2007.904277  0.379
2007 Pola G, Tabuada P. Symbolic models for linear control systems with disturbances Proceedings of the Ieee Conference On Decision and Control. 432-437. DOI: 10.1109/CDC.2007.4434957  0.493
2007 Pola G, Girard A, Tabuada P. Symbolic models for nonlinear control systems using approximate bisimulation Proceedings of the Ieee Conference On Decision and Control. 4656-4661. DOI: 10.1109/CDC.2007.4434911  0.418
2007 Tabuada P. Symbolic models for control systems Acta Informatica. 43: 477-500. DOI: 10.1007/S00236-006-0036-6  0.493
2007 Tabuada P. Approximate simulation relations and finite abstractions of quantized control systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4416: 529-542.  0.388
2006 Tabuada P, Pappas GJ. Linear time logic control of discrete-time linear systems Ieee Transactions On Automatic Control. 51: 1862-1877. DOI: 10.1109/Tac.2006.886494  0.716
2006 Tabuada P. Symbolic control of linear systems based on symbolic subsystems Ieee Transactions On Automatic Control. 51: 1003-1013. DOI: 10.1109/Tac.2006.876946  0.598
2006 Tabuada P. Local factorization of trajectory lifting morphisms for single-input affine control systems Systems and Control Letters. 55: 761-769. DOI: 10.1016/J.Sysconle.2006.03.003  0.481
2006 Tabuada P, Pappas GJ. Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708] (DOI:10.1016/j.automatica.2004.11.008) Automatica. 42: 1833. DOI: 10.1016/J.Automatica.2006.06.001  0.533
2006 Tabuada P. Book review: Control theory from the geometric viewpoint [Andrei A. Agrachev and Yuri L. Sachkov. Copyright 2003 World Scientific Publishing, ISBN: 3-540-21019-9] Automatica. 42: 695-696. DOI: 10.1016/J.Automatica.2005.12.009  0.309
2006 Ames AD, Tabuada P, Sastry S. On the stability of Zeno equilibria Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 34-48. DOI: 10.1007/11730637_6  0.305
2006 Tabuada P, Ames AD, Julius A, Pappas G. Approximate reduction of dynamical systems Proceedings of the Ieee Conference On Decision and Control. 6408-6413.  0.334
2005 Tabuada P, Pappas GJ. Quotients of fully nonlinear control systems Siam Journal On Control and Optimization. 43: 1844-1866. DOI: 10.1137/S0363012901399027  0.707
2005 Tabuada P, Pappas GJ, Lima P. Motion feasibility of multi-agent formations Ieee Transactions On Robotics. 21: 387-392. DOI: 10.1109/Tro.2004.839224  0.596
2005 Tabuada P. On the factorization of trajectory lifting maps Proceedings of the 44th Ieee Conference On Decision and Control, and the European Control Conference, Cdc-Ecc '05. 2005: 4225-4230. DOI: 10.1109/CDC.2005.1582825  0.31
2005 Tabuada P. Symbolic sub-systems and symbolic control of linear systems Proceedings of the 44th Ieee Conference On Decision and Control, and the European Control Conference, Cdc-Ecc '05. 2005: 18-23. DOI: 10.1109/CDC.2005.1582124  0.535
2005 Haghverdi E, Tabuada P, Pappas GJ. Bisimulation relations for dynamical, control, and hybrid systems Theoretical Computer Science. 342: 229-261. DOI: 10.1016/J.Tcs.2005.03.045  0.698
2005 Tabuada P, Pappas GJ. Hierarchical trajectory refinement for a class of nonlinear systems Automatica. 41: 701-708. DOI: 10.1016/J.Automatica.2004.11.008  0.718
2004 Tabuada P, Pappas GJ, Lima P. Compositional abstractions of hybrid control systems Discrete Event Dynamic Systems: Theory and Applications. 14: 203-238. DOI: 10.1023/B:Disc.0000018571.14789.24  0.681
2004 Tabuada P, Pappas GJ. Bisimilar control affine systems Systems and Control Letters. 52: 49-58. DOI: 10.1016/J.Sysconle.2003.09.013  0.695
2004 Tabuada P. Open maps, alternating simulations and control synthesis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3170: 466-480.  0.356
2003 Tabuada P, Pappas GJ. From nonlinear to Hamiltonian via feedback Ieee Transactions On Automatic Control. 48: 1439-1443. DOI: 10.1109/Tac.2003.815040  0.716
2003 Tabuada P, Pappas GJ. Hierarchical Trajectory Generation for a Class of Nonlinear Systems Proceedings of the Ieee Conference On Decision and Control. 6: 6090-6095. DOI: 10.1109/CDC.2003.1272236  0.423
2003 Haghverdi E, Tabuada P, Pappas G. Bisimulation relations for dynamical and control systems Electronic Notes in Theoretical Computer Science. 69: 127-143. DOI: 10.1016/S1571-0661(04)80562-0  0.697
2003 Tabuada P, Pappas GJ. Abstractions of Hamiltonian control systems Automatica. 39: 2025-2033. DOI: 10.1016/S0005-1098(03)00235-8  0.706
2003 Tabuada P, Pappas GJ. From Discrete Specifications to Hybrid Control Proceedings of the Ieee Conference On Decision and Control. 4: 3366-3371.  0.448
2003 Tabuada P, Pappas GJ. Model checking LTL over controllable linear systems is decidable Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2623: 498-513.  0.484
2003 Tabuada P, Pappas GJ. Finite Bisimulations of Controllable Linear Systems Proceedings of the Ieee Conference On Decision and Control. 1: 634-639.  0.421
2002 Tabuada P, Pappas GJ, Lima P. Composing abstractions of hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2289: 436-450. DOI: 10.1007/3-540-45873-5_34  0.37
2002 Tabuada P, Pappas GJ. Discrete synchronization of hybrid systems Proceedings of the Ieee Conference On Decision and Control. 1: 22-27.  0.39
2001 Tabuada P, Lima P. Position Tracking for Underactuated Rigid Bodies on SE(3) Ifac Proceedings Volumes. 34: 1147-1152. DOI: 10.1016/S1474-6670(17)35338-7  0.352
Show low-probability matches.