George J. Pappas UPenn Pappas
Journal Publications    |    Books    |    Book Chapters    |    Conference Publications

 

29. Verification of hybrid systems. Handbook of model checking. Laurent Doyen, Goran Freshe, George J. Pappas, and André Platzer. Encyclopedia of Model Checking. In preparation.

28. Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks In Principles of Cyber-Physical Systems. Victor M. Preciado, Michael Zargham, Cameron Nowzari, Shuo Han, Masaki Ogura, George Pappas. Cambridge University Press. in press

27. Stochastic Models and Control of Bacterial Bioactuators and Biomicrorobots. A. Agung Julius, Mahmut S. Sakar, E. B. Steager, George J. Pappas, Vijay Kumar. Microrobotics, 2012.

26. Trajectory based verification using local finite-time invariance. A. Agung Julius, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, San Francisco, CA, April 2009.

28. Maintaining Connectivity in Mobile Robot Networks. Nathan Michael, Michael M. Zavlanos, Vijay Kumar and George J. Pappas. International Symposium on Experimental Robotics (ISER), Athens, Greece, July 2008.

27. Robust sampling for MITL specifications. Georgios Fainekos and George J. Pappas. Formal Nodeling and Analysis of Real-Time Systems (FORMATS), Lecture Notes in Computer Science, Salzburg, Austria, October 2007.

26. Robust test generation and coverage for hybrid systems. A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, Pisa, Italy, April 2007.

25. Hierarchical synthesis of hybrid controllers from temporal logic specifications. Georgios Fainekos, Antoine Girard, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, Pisa, Italy, April 2007.

24. Temporal logic verification using simulation. Georgios Fainekos, Antoine Girard, and George J. Pappas. Formal Nodeling and Analysis of Real-Time Systems, Lecture Notes in Computer Science, volume 4202, Paris, France, September 2006.

23. Robustness of temporal logic specifications. Georgios Fainekos and George J. Pappas. Formal Aproaches to Testing and Runtime Verification, Lecture Notes in Computer Science, volume 4262, Seattle, WA, August 2006.

22. Verification using simulation. Antoine Girard and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 3927, Santa Barbara, CA, March 2006.

21. R- Charon : A modeling language for reconfigurable hybrid systems. Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 3927, Santa Barbara, CA, March 2006.

20. Observability of switched linear systems in continuous time. Mohamed Babaali, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 3414, Zurich, Switzerland, March 2005.

19. Model checking LTL over controllable linear systems is decidable . Paulo Tabuada and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2623, Springer, April 2003

18. Composing abstractions of hybrid systems . Paulo Tabuada, George J. Pappas, and Pedro Lima. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2289, Springer, March 2002.

17. Hierarchical hybrid modeling of embedded systems. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky.. Embedded Software (EMSOFT), Lecture Notes in Computer Science, volume 2211, Springer, October 2001

16. A framework and architecture for multirobot coordination. R. Alur, A. Das, J. Esposito, R. Fierro, Y. Hur, G. Grudic, V. Kumar, I. Lee, J. P. Ostrowski, G. J. Pappas, J. Southall, J. Spletzer, and C. Taylor.. Experimental Robotics VII, Lecture Notes in Control and Information Sciences, volume 271, Springer, 2001

15. Hybrid abstractions that preserve timed languages . Paulo Tabuada and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

14. Mode switching synthesis for reachability specifications . T. John Koo, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

13. Optimal paths in weighted timed automata . Rajeev Alur, Salvatorre La Torre, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

12. Hybrid modeling and simulation of biomolecular networks . Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Max Mintz, George J. Pappas, Harvey Rubin, and Jonathan Schug. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

11. Semi-decidable synthesis for triangular hybrid systems . Omid Shakernia, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

10. Accurate event detection for simulating hybrid systems . Joel Esposito, Vijay Kumar, and George J. Pappas. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer, March 2001

9. Decidable controller synthesis for classes of linear systems . Omid Shakernia, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science, volume 1790, Springer, 2000

8. A new class of decidable hybrid systems. Gerardo Lafferriere, George J. Pappas, and Sergio Yovine. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science,volume 1569, Springer, 1999

7. Hybrid systems with finite bisimulations. Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Hybrid Systems V, Lecture Notes in Computer Science, volume 1567, Springer 1999

6. Exterior differential systems in control and robotics. George J. Pappas, John Lygeros, Dawn Tilbury, and Shankar Sastry. Essays on Mathematical Robotics, IMA Volume 104 in Mathematics and its Applications, Springer, 1998

5. Subanalytic stratifications and bisimulations . Gerardo Lafferriere, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science,volume 1386, Springer, 1998

4. An approach to the verification of the Center-TRACON Automation System. John Lygeros, George J. Pappas, and Shankar Sastry. Hybrid Systems : Computation and Control, Lecture Notes in Computer Science,volume 1386, Springer, 1998

3. Towards continuous abstractions of dynamical and control systems . George J. Pappas, and Shankar Sastry. Hybrid Systems IV, Lecture Notes in Computer Science, volume 1273, Springer 1997

2. Hybrid control models of next generation air traffic management. Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, and Shankar Sastry. Hybrid Systems IV, Lecture Notes in Computer Science, volume 1273, Springer 1997

1. Advanced air traffic automation : a case study in distributed decentralized control . Claire Tomlin, George J. Pappas, Jana Kosecka, John Lygeros, and Shankar Sastry. Control Problems in Robotics and Automation, Lecture Notes in Control and Information Sciences, volume 230, Springer, 1997 .

 

Google Scholar citations

ORCID

Semantic Scholar