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. BioInspired Framework for Allocation of Protection Resources in CyberPhysical Networks
In Principles of CyberPhysical 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 finitetime 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 RealTime 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 RealTime 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. Semidecidable 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 CenterTRACON 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 .


