Identification of stable genetic networks using convex programming
Michael M. Zavlanos, Agung Julius, Stephen P. Boyd, and George J. Pappas
American Control Conference, Seattle, WA, June 2008.
Distributed topology control of dynamic networks
Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas
American Control Conference, Seattle, WA, June 2008.
Elastic multi-particle systems for bounded-curvature path planning
Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar
American Control Conference, Seattle, WA, June 2008.
Genetic network identification using convex programming
A. Agung Julius, Michale Zavlanos, Stephen Boyd, and George J. Pappas
Submitted, July 2007.
Distributed connectivity control of mobile networks
Michael Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
Flocking while preserving connectivity
Michael Zavlanos, Ali Jadbabaie, and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
Distributed formation control with permutation symmetries
Michael Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
Valet parking without a valet (Finalist, Best Paper)
David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred Rizzi, and George J. Pappas
IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.
From structured english to robot motion
Hadas Kress-Gazit, Georgios Fainekos, and George J. Pappas
IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.
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.
Dynamic assignment in distributed motion planning with local information
Michael Zavlanos and George J. Pappas
American Control Conference, New York, NY, July 2007.
Controlling biological systems : the lactose regulation systems of Escherichia Coli
A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas
American Control Conference, New York, NY, July 2007.
Where's Waldo? Sensor-based temporal logic motion planning (Finalist, Best Student Paper)
Hadas Kress Gazit, Georgios Fainekos, and George J. Pappas
IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.
Sensor-based dynamic assignment in distributed motion planning
Michael Zavlanos and George J. Pappas
IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.
Hierarchical synthesis of hybrid controllers from temporal logic specifications
Georgios E. Fainekos, Antoine Girard, and George J. Pappas
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, April 2007.
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, April 2007.
Hybrid
Systems: Computation and Control
Rajeev Alur and George J. Pappas, editors. Proceedings of the
7th International Workshop, HSCC 2004, volume 2993 in Lecture
Notes in Computer Science Series, 674 pages, Springer-Verlag,
March 2004. ISBN: 3-540-21259-0
41. Distributed connectivity control of mobile networks
Michael Zavlanos and George J. Pappas
IEEE Transactions in Robotics, June 2007. Submitted.
40. A dynamical systems approach to weighted graph matching
Michael Zavlanos and George J. Pappas
Automatica, April 2007. Accepted.
39. Temporal logic planning for dynamic robots
Georgios Fainekos, Antoine Girard, Hadas Kress Gazit, and George J. Pappas
Automatica, January 2007. Accepted.
38. Approximations of stochastic hybrid systems
A. Agung Julius and George J. Pappas
IEEE Transactions on Automatic Control, June 2006. Submitted.
37. Approximate reduction of dynamical systems
Paulo Tabuada, Aaron Ames, A. Agung Julius, and George J. Pappas
Systems and Control Letters, 2007. In press.
36. Approximate simulation relations for hybrid systems
Antoine Girard, A. Agung Julius, and George J. Pappas
Discrete Event dynamic Systems, October 2006. In press.
35. Courteous cars: decentralized multi-agent traffic coordination
Hadas Kress-Gazit, David C. Conner, Howie Choset, Alfred A. Rizzi, and George J. Pappas
IEEE Robotics and Automation Magazine, 15(1):30-38, March 2008.
34. Dyamic assignment in distributed motion planning with local coordination
Michael Zavlanos and George J. Pappas
IEEE Transactions on Robotics, 24(1):232-242, February 2008.
33. Stochastic modeling and control of biological systems:
the lactose regulation system of
Escherichia coli
A. A. Julius, A. Halasz, M. S. Sakar, H. Rubin, V.Kumar, and G. J. Pappas
IEEE Transactions on Automatic Control, 53(1):51-65, January 2008.
32. A framework for
worst-case and stochastic safety verification using barrier certificates
Stephen Prajna, Ali Jadbabaie, and George J. Pappas
IEEE Transactions on Automatic Control, 52(8):1415-1428, August 2007.
31. Potential fields for maintaining connectivity of mobile networks
Michael Zavlanos and George J. Pappas
IEEE Transactions on Robotics, 23(4):812-816, August 2007.
30. Approximate bisimulation relations for constrained linear systems
Antoine Girard and George J. Pappas
Automatica, 43(8):1307-1317, August 2007.
29. Approximation metrics for discrete and continuous
systems
Antoine Girard and George J. Pappas
IEEE Transactions on Automatic Control, 52(5):782-798, May 2007.
28. Flocking in fixed
and switching networks
Herbert Tanner, Ali Jadbabaie, and George J. Pappas
IEEE Transactions on Automatic Control, 52(5):863-868, May 2007.
27. Symbolic planning and control of robot motion: state of the
art and grand challenges
C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G.J. Pappas
IEEE Robotics and Automation Magazine, 14(1):61-70, March 2007.
26. Linear temporal logic
control of discrete-time linear systems
Paulo Tabuada and George J. Pappas
IEEE Transactions on Automatic Control, 51(12):1862-1877, December 2006.
25. Cooperative air and ground surveillance
Ben Grocholsky, James Keller, Vijay Kumar, and George J. Pappas
IEEE Robotics and Automation Magazine, 13(3):16-25, September 2006.
24. High-confidence medical device software and systems
I. Lee, G. J. Pappas, R. Cleveland, J. Hatchcliff, B. Krogh, P. Lee, H. Rubin, L. Sha
IEEE Computer, 39(4):33-38, April 2006.
23. Discrete abstractions for
robot motion planning and control in polygonal environments
Calin Belta, Volkan Isler, and George J. Pappas
IEEE Transactions on Robotics, 21(5):864- 874, October 2005.
22. Bisimulation relations
for dynamical, control, and hybrid systems
Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas
Theoretical Computer Science, 342(2-3):229-261, September 2005.
21. Motion feasibility
of multi-agent formations
Paulo Tabuada, George J. Pappas, and Pedro Lima
IEEE Transactions on Robotics, 21(3):387-392, June 2005.
20. Quotients of fully nonlinear
control systems
Paulo Tabuada and George J. Pappas
SIAM Journal of Control and Optimization, 43(5):1844-1866, 2005.
19. Hierarchical trajectory
generation for a class of nonlinear systems
Paulo Tabuada and George J. Pappas
Automatica, 41(4):701-708, April 2005.
18. Leader to formation
stability
Herbert Tanner, George J. Pappas, and Vijay Kumar
IEEE Transactions on Robotics and Automation, 20(3):443-455, June
2004.
17. Optimal paths in weighted
timed automata
Rajeev Alur, Salvatorre La Torre, and George J. Pappas
Theoretical Computer Science, 318(3):297-322, June 2004.
16. Bisimilar control affine
systems
Paulo Tabuada and George J. Pappas
Systems & Control Letters, 52(1):49-58, May 2004.
15. Compositional abstractions
of hybrid control systems
Paulo Tabuada, George J. Pappas, and Pedro Lima
Discrete Event Dynamic Systems, 14(2):203-238, April 2004.
14. Bisimilar linear systems
George J. Pappas
Automatica, 39(12):2035-2047, December 2003.
13. Abstractions
of Hamiltonian control systems
Paulo Tabuada and George J. Pappas
Automatica, 39(12):2025-2033, December 2003.
12. From nonlinear
to hamiltonian via feedback
Paulo Tabuada and George J. Pappas
IEEE Transactions on Automatic Control, 48(8):1439- 1442, August
2003.
11. Hierarchical modeling
and analysis of embedded systems
R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I.
Lee, P. Mishra, G. J. Pappas, and O. Sokolsky.
Proceedings of the IEEE, 91(1):11-28, January 2003.
10. A framework and architecture
for multirobot coordination
R. Fierro, A. Das, J. Spletzer, J. Esposito, V. Kumar, J. Ostrowski,
G. Pappas, CJ Taylor, Y. Hur, R. Alur, I. Lee, G. Grudic, and
B. Southall.
International Journal of Robotics Research, 21(10-11):977-995
October-November 2002.
9. Consistent abstractions
of affine control systems
George J. Pappas, and Slobodan Simic
IEEE Transactions on Automatic Control, 47(5):745-756, May 2002.
8. Modeling and analyzing
biomolecular networks
R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin,
and J. Schug
Computing in Science and Engineering, 4(1):20-31, January 2002.
7. Symbolic
reachability computations for families of linear vector fields
Gerardo Lafferriere, George J. Pappas, and Sergio Yovine
Journal of Symbolic Computation, 32(3):231-253, September 2001.
6. Discrete abstractions
of hybrid systems
Rajeev Alur, Tom Henzinger, Gerardo Lafferriere, and George J.
Pappas
Proccedings of the IEEE, 88(2):971-984, July 2000.
5. Hierarchically consistent
control systems
George J. Pappas, Gerardo Lafferriere, and Shankar Sastry
IEEE Transactions on Automatic Control, 45(6):1144-1160, June
2000.
4. O-minimal hybrid systems
Gerardo Lafferriere, George J. Pappas, and Shankar Sastry
Mathematics of Control, Signals, and Systems, 13(1):1-21, March
2000.
3. Straightening out rectangular
differential inclusions
George J. Pappas, and Shankar Sastry
Systems & Control Letters, 35(2):79-85, September 1998.
2. Conflict resolution for
air traffic management : a study in multi-agent hybrid systems
Claire Tomlin, George J. Pappas, and Shankar Sastry
IEEE Transactions on Automatic Control, 43(4):509-521, Arpil 1998.
1. Stabilization of nonholonomic vehicles under kinematic
constraints
George J. Pappas, and Kostas J. Kyriakopoulos
International Journal of Control, 61(4):933-947, 1995.
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
99. Identification of stable genetic networks using convex programming
Michael M. Zavlanos, Agung Julius, Stephen P. Boyd, and George J. Pappas
American Control Conference, Seattle, WA, June 2008.
98. Distributed topology control of dynamic networks
Michael M. Zavlanos, Alireza Tahbaz-Salehi, Ali Jadbabaie, and George J. Pappas
American Control Conference, Seattle, WA, June 2008.
97. Elastic multi-particle systems for bounded-curvature path planning
Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar
American Control Conference, Seattle, WA, June 2008.
96. Distributed connectivity control of mobile networks
Michael Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
95. Flocking while preserving connectivity
Michael Zavlanos, Ali Jadbabaie, and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
94. Distributed formation control with permutation symmetries
Michael Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
93. Hybrid model predictive control of induction of Escherichia coli
Agung Julius, Selman Sakar, Alberto Bemporad, and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
92. Approximate hierarchies of linear control systems
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
91. Stable multi-particle systems and application in multi-vehicle path planning and coverage
Ali Ahmadzadeh, Ali Jadbabaie, George J. Pappas, and Vijay Kumar
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
90. Approximate timed abstractions of hybrid automata
Alessandro D'Innocenzo, Agung Julius, M. Domenica Di Benedetto, and George J. Pappas
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
89. Verification of temporal properties on hybrid automata by simulation relations
Alessandro D'Innocenzo, Agung Julius, George J. Pappas, M. Domenica Di Benedetto, and Stefano Di Gennaro
IEEE Conference on Decision and Control, New Orleans, LA, December 2007.
88. Valet parking without a valet (Finalist, Best Paper)
David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred Rizzi, and George J. Pappas
IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.
87. From structured english to robot motion
Hadas Kress-Gazit, Georgios Fainekos, and George J. Pappas
IEEE/RSJ Conference on Intelligent Robots and Systems, San Diego, CA, October 2007.
86. Dynamic assignment in distributed motion planning with local information
Michael Zavlanos and George J. Pappas
American Control Conference, New York, NY, July 2007.
85. Controlling biological systems : the lactose regulation systems of Escherichia Coli
A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas
American Control Conference, New York, NY, July 2007.
84. Dynamic coverage using receeding horizon control
Ali Ahmadzadeh, Ali Jadbabaie, Vijay Kumar, and George J. Pappas
European Control Conference, Kos, Greece, July 2007.
83. Where's Waldo? Sensor-based temporal logic motion planning (Finalist, Best Student Paper)
Hadas Kress Gazit, Georgios Fainekos, and George J. Pappas
IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.
82. Sensor-based dynamic assignment in distributed motion planning
Michael Zavlanos and George J. Pappas
IEEE Conference on Robotics and Automation, Rome, Italy, April 2007.
81. Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control
G. Mariottini, F. Morbidi, D. Prattichizzo, G. J. Pappas, and K. Daniilidis
International Conference on Robotics and Automation, Rome, Italy, April 2007.
80. Decidability of Motion Planning with Differential Constraints
Peng Cheng, George J. Pappas, and Vijay Kumar
International Conference on Robotics and Automation, Rome, Italy, April 2007.
79. A dynamical systems approach to weighted graph matching (Finalist, Best Student Paper Award)
Michael Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
78. Approximate equivalence and approximate synchronization of metric transition systems
A. Agung Julius and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
77. Translating temporal logic to controller specifications
George Fainekos, Savvas Loizou, and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
76. Finite state abstraction of a stochastic model of the lactose regulation system in Eschrichia coli
A. Agung Julius, Adam Halasz, Vijay Kumar, and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
75. Hierarchical control using approximate simulation relations
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
74. Multi-UAV Deployment for Coverage with Spatio-Temporal Specifications
Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar
IEEE Conference on Decision and Control, San Diego, CA, December 2006. To appear.
73. Approximate reduction of dynamical systems
Paulo Tabuada, Aaron Ames, A. Agung Julus, and George J. Pappas
IEEE Conference on Decision and Control, San Diego, CA, December 2006.
72. Time-triggered implementations of dynamic controllers
Truong Nghiem, George J. Pappas, Antoine Girard, and Rajeev Alur
Embedded Software (EMSOFT), Seoul, Korea, October 2006.
71. Unit and Dynamic Type Checking in Hybrid Systems Modeling in Charon
Madhukar Anand, Insup Lee, Oleg Sokolsky, and George J. Pappas
IEEE Symposium on Computer Aided Control Systems Design, Munich, Germany, October 2006.
70. An optimization-based approach to time-critical cooperative surveillance and coverage with unmanned aerial vehicles
Ali Ahmadzadeh, James Keller, George J. Pappas, Ali Jadbabaie, and Vijay Kumar
International Symposium on Experimental Robotics, Rio de Janeiro, Brazil, July 2006.
69. Approximate simulation relations for hybrid systems
Antoine Girard, A. Agung Julius, and George J. Pappas
IFAC Analysis and Design of Hybrid Systems, Alghero, Italy, June 2006.
68. Approximate bisimulation for a class of stochastic hybrid systems
Agung Julius, Antoine Girard, and George J. Pappas
American Control Conference, Minneapolis, MN, June 2006.
67. Quantifying the gap between embedded control models and time-triggered implementations
Hakan Yazarel, Antoine Girard, George J. Pappas, and Rajeev Alur
IEEE Real Time Systems Symposium (RTSS), Miami, FL, December 2005.
66. Controlling connectivity of dynamic graphs
Michael M. Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
65. Approximate bisimulations for constrained linear systems
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
64. Approximate bisimulations for nonlinear dynamical systems
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
63. Bounded model checking for hybrid dynamical systems
Nicolo Giorgetti, George J. Pappas, and Alberto Bemporad
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
62. Hybrid controllers for path planning : a temporal logic
approach
George Fainekos, Hadas Kress-Gazit, and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
61. Vision-based localization of leader-follower formations
Gianluca Mariottini, George J. Pappas, Domenico Prattichizzo,
and Kostas Daniilidis.
IEEE Conference on Decision and Control, Seville, Spain, December
2005.
60. Temporal logic planning
for mobile robots
George Fainekos, Hadas Kress Gazit, and George J. Pappas
IEEE Conference on Robotics and Automation, Barcelona, Spain,
Apri 2005.
59. Information driven coordinated air-ground proactive
sensing
Ben Grocholsky, Rahul Swaminathan, James Keller, Vijay Kumar,
and George J. Pappas.
IEEE Conference on Robotics and Automation, Barcelona, Spain,
Apri 2005.
58. S.O.S. for safety
Hakan Yazarel, Stephen Prajna, and George J. Pappas
Proceedings of the 43rd IEEE Conference on Decision and Control,
Bahamas, December 2004
57. Stochastic safety
verification using barrier certificates (Finalist, Best Student
Paper Award)
Stephen Prajna, Ali Jadbabaie, and George J. Pappas
Proceedings of the 43rd IEEE Conference on Decision and Control,
Bahamas, December 2004
56. Experimental cooperative
control of unmanned aerial vehicles
Selcuk Bayraktar, Georgios Fainekos, and George J. Pappas
Proceedings of the 43rd IEEE Conference on Decision and Control,
Bahamas, December 2004
55. Hybrid control for visibility-based
pursuit evasion games
Volkan Isler, Calin Belta, Kostas Daniilidis, and George J. Pappas
Proceedins of the IEEE/RSJ International Conference on Intelligent
Robots and Systems, Sendai, Japan, September 2004.
54. Synergies in Feature
Localization by Air-Ground Robot Teams
Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor,
and George J. Pappas
Proceedings of the 9th International Symposium on Experimental
Robotics 2004, Singapore, June 2004.
53. Geometric programming
relaxations for linear system reachability (Finalist, Best
Student Paper Award)
Hakan Yazarel and George J. Pappas
Proceedings of the 2004 American Control Conference, Boston, MA,
June 2004
52. Finite bisimulations
of controllable linear systems
Paulo Tabuada, and George J. Pappas
Proceedings of the 42nd IEEE Conference on Decision and Control,
Maui, Hawaii, December 2003
51. From discrete specifications
to hybrid control
Paulo Tabuada, and George J. Pappas
Proceedings of the 42nd IEEE Conference on Decision and Control,
Maui, Hawaii, December 2003
50. Hierarchical trajectory
generation for a class of nonlinear systems
Paulo Tabuada, and George J. Pappas
Proceedings of the 42nd IEEE Conference on Decision and Control,
Maui, Hawaii, December 2003
49. Stable flocking
of mobile agents, Part II : Dynamic Topology
Herbert Tanner, Ali Jadbabaie, and George J. Pappas
Proceedings of the 42nd IEEE Conference on Decision and Control,
Maui, Hawaii, December 2003
48. Stable flocking
of mobile agents, Part I : Fixed Topology
Herbert Tanner, Ali Jadbabaie, and George J. Pappas
Proceedings of the 42nd IEEE Conference on Decision and Control,
Maui, Hawaii, December 2003
47. Abstractions of constrained linear systems
Herbert Tanner, and George J. Pappas
Proceedings of the 2003 American Control Conference, Denver, CO,
June 2003
46. Coordination of multiple
autonomous vehicles
Herbert Tanner, Ali Jadbabaie, and George J. Pappas
Proceedings of the 11th IEEE Mediterranean Conference on Control
and Automation, Rhodes, Greece, June 2003
45. Bisimulation relations
for dynamical and control systems
Esfandiar Hagverdi, Paulo Tabuada, and George J. Pappas
In Category Theory and Computer Science (CTCS), Electronic Notes
in Theoretical Computer Science, Ottawa, February 2003.
44. Discrete synchronization
of hybrid systems
Paulo Tabuada and George J. Pappas
Proceedings of the 41st IEEE Conference on Decision and Control,
Las Vegas, NV, December 2002
43. Bisimilar control
affine systems
Paulo Tabuada and George J. Pappas
Proceedings of the 41st IEEE Conference on Decision and Control,
Las Vegas, NV, December 2002
42. From nonlinear
to hamiltonian via feedback
Paulo Tabuada and George J. Pappas
Proceedings of the 41st IEEE Conference on Decision and Control,
Las Vegas, NV, December 2002
41. Input-state-stability
on formation graphs
Herbert Tanner, George J. Pappas, and Vijay Kumar
Proceedings of the 41st IEEE Conference on Decision and Control,
Las Vegas, NV, December 2002
40. Quotients of fully
nonlinear control systems
Paulo Tabuada and George J. Pappas
Proceedings of the Mathematical Theory of Networks and Systems,
Notre Dame, IN, August 2002.
39. Unifying bisimulation
relations for discrete and continuous systems
Esfandiar Haghverdi, Paulo Tabuada, and George J. Pappas
Proceedings of the Mathematical Theory of Networks and Systems,
Notre Dame, IN, August 2002.
38. Stability properties
of interconnected vehicles
Herbert Tanner, George J. Pappas, and Vijay Kumar
Proceedings of the Mathematical Theory of Networks and Systems,
Notre Dame, IN, August 2002.
37. Simulation relations
for discrete-time linear systems
Herbert Tanner and George J. Pappas
Proceedings of the 15th International Federation on Automatic
Control World Congress, Barcelona, Spain, July 2002
36. Formation input-to-state
stability
Herbert Tanner and George J. Pappas
Proceedings of the 15th International Federation on Automatic
Control World Congress, Barcelona, Spain, July 2002
35. Decentralizing formations of multi-agent systems
Paulo Tabuada, George J. Pappas, and Pedro Lima
Proceedings of the 10th Mediterranean Conference on Control and
Automation, Lisbon, Portugal, July 2002.
34. Flying Hot Potatoes
Pradyumna Mishra and George J. Pappas
Proceedings of the 2002 American Control Conference, pages 754-759,
Anchorage, Alaska, May 2002
33. The effect of feedback
and feedforward on formation ISS
Herbert Tanner, Vijay Kumar, and George J. Pappas
Proceedings of the 2002 International Conference on Robotics and
Automation,pages 3448-3453, Arlington, VA, May 2002
32. Hierarchies of Stabilizability
Preserving Linear Systems
George J. Pappas and Gerardo Lafferriere
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 2081-2086, Orlando, FL, December 2001
31. Abstractions of Hamiltonian
Control Systems (Finalist, Best Student Paper Award)
Paulo Tabuada and George J. Pappas
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 3394-3399, Orlando, FL, December 2001
30. Compositional Abstractions
of Hybrid Control Systems
Paulo Tabuada, George J. Pappas, and Pedro Lima
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 352-357, Orlando, FL, December 2001
29. Stability and reachability
analysis of a hybrid model of luminescence in the marine bacterium
Vibrio fischeri
Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, Max Mintz,
George J. Pappas, Harvey Rubin, and Paul Dunlop
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 869-874, Orlando, FL, December 2001
28. Multi-modal control of
systems with constraints
T. John Koo, George J. Pappas, and Shankar Sastry
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 2075-2080, Orlando, FL, December 2001
27. Multi-agent hybrid simulation
Joel Esposito, Vijay Kumar, and George J. Pappas
Proceedings of the 40th IEEE Conference on Decision and Control,
pages 780-785, Orlando, FL, December 2001
26. Hybrid abstractions :
A search and rescue case study
Paulo Tabuada, George J. Pappas, and Pedro Lima
Proceedings of the European Control Conference, pages 3864-3869,
Porto, Portugal, September 2001
25. Greedy control for hybrid
pursuit-evasion games
Joao P. Hespanha, George J. Pappas, and Maria Prandini
Proceedings of the European Control Conference, pages 2621-2626,
Porto, Portugal, September 2001
24. Cyclic directed formations
of multi-agent systems
Paulo Tabuada, George J. Pappas, and Pedro Lima
Proceedings of the European Control Conference, pages 539-544,
Porto, Portugal, September 2001
23. Feasible formations
of multi-agent systems (Finalist, Best Student Paper Award)
Paulo Tabuada, George J. Pappas, and Pedro Lima
Proceedings of the American Control Conference, pages 56-61, Arlington,
VA, June 2001
22. Consistent hierarchies
of nonlinear abstractions
George J. Pappas and Slobodan Simic
Proceedings of the 39th IEEE Conference on Decision and Control,
pages 4379-4384, Sydney, Australia, December 2000
21. Semidecidable controller
synthesis for classes of linear hybrid systems
Omid Shakernia, George J. Pappas, and Shankar Sastry
Proceedings of the 39th IEEE Conference on Decision and Control,
pages 1834-1839, Sydney, Australia, December 2000
20. Parameter synthesis in robot motion planning using
symbolic reachability computation
Gerardo Lafferriere, George J. Pappas, Gerardo Schneider, and
Sergio Yovine
Proceedings of the 8the IEEE Mediterranean Conference on Control
and Automation, Rio, Greece, July 2000
19. An introduction to hybrid
system modeling, analysis, and control
John Lygeros, George J. Pappas, and Shankar Sastry
Preprints of the First Nonlinear Control Network Pedagogical School,
pages 307-329, Athens, Greece, 1999
18. Reach set computation for linear vector fields using
quantifier elimination
Gerardo Lafferriere, George J. Pappas, and Sergio Yovine
Electronic Proceedings of the IMAC Conference on Applications
of Computer Algebra, El Escorial, Spain, 1999
17. Reachability computation
for linear hybrid systems
Gerardo Lafferriere, George J. Pappas, and Sergio Yovine
Proceedings of the 14th IFAC World Congress, volume E, pages 7-12,
Beijing, 1999
16. Reachability analysis
of hybrid systems using bisimulations
Gerardo Lafferriere, George J. Pappas, and Shankar Sastry
Proceedings of the 37th IEEE Conference on Decision and Control,
pages 1623-1628, Tampa, 1998
15. Hierarchically consistent
control systems (Finalist, Best Student Paper Award)
George J. Pappas, Gerardo Lafferriere, and Shankar Sastry
Proceedings of the 37th IEEE Conference on Decision and Control,
pages 4336-4341, Tampa, 1998
14. 2 1/2D conflict resolution maneuvers for ATMS
Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry
Proceedings of the 37th IEEE Conference on Decision and Control,
pages 2650-2655, Tampa, 1998
13. Large scale system issues in automated highway and
air traffic management systems
John Lygeros, George J. Pappas, and Shankar Sastry
Proceedings of the 8th IFAC Symposium on Large Scale Systems,
pages 722-727, Rio, Greece, 1998
12. Decentralized ATMS : Performance and robustness
Antonio Bicchi, Alesia Marigo, George J. Pappas, M. Pardini, Shankar
Sastry, and Claire Tomlin
Proceedings of IFAC Workshop on Motion Control, pages 279-284,
Grenoble, 1998
11. SmartATMS : A simulator
for air traffic management
T. John Koo, Yi Ma, George J. Pappas, and Claire Tomlin
Proceedings of the 1997 Winter Simulation Conference, pages 1199-1205,
Atlanta, 1997
10. A next generation
architecture for air traffic management systems
George J. Pappas, Claire Tomlin, John Lygeros, Datta N. Godbole,
and Shankar Sastry
Proceedings of the 36th IEEE Conference on Decision and Control,
pages 2405-2410, San Diego, 1997
9. Noncooperative conflict
resolution
Claire Tomlin, George J. Pappas, and Shankar Sastry
Proceedings of the 36th IEEE Conference on Decision and Control,
pages 1816-1821, San Diego, 1997
8. Generation of conflict
resolution maneuvers for air traffic management
Jana Kosecka, Claire Tomlin, George J. Pappas, and Shankar Sastry
Proceedings of the 10th IEEE International Conference on Intelligent
Robots and Systems, pages 1598-1603, Grenoble, 1997
7. Conflict resolution in multi-agent hybrid systems
George J. Pappas, Claire Tomlin, and Shankar Sastry
Proceedings of the 35th IEEE Conference on Decision and Control,
pages 1184-1189, Kobe, Japan, 1996
6. Avoiding saturation
by trajectory reparameterization
George J. Pappas
Proceedings of the 35th IEEE Conference on Decision and Control,
pages 76-81, Kobe, Japan, 1996
5. Hybrid control in air traffic management
Claire Tomlin, George J. Pappas, John Lygeros, Datta Godbole,
Shankar Sastry, and George Meyer
Proceedings of the 13th IFAC World Congress, volume L, pages 127-132,
San Francisco, 1996
4. Stabilization and tracking of feedback linearizable
systems under input constraints
George J. Pappas, Datta N. Godbole, and John Lygeros
Proceedings of the 34th IEEE Conference on Decision and Control,
pages 596-601, New Orleans, 1995
3. Hybrid control in air
traffic management
Shankar Sastry, George Meyer, Claire Tomlin, John Lygeros, Datta
Godbole, and George J. Pappas
Proceedings of the 34th IEEE Conference on Decision and Control,
pages 1478-1483, New Orleans, 1995
2. Dynamic modeling and tracking control of nonholonomic
vehicles
George J. Pappas, and Kostas J. Kyriakopoulos
Proceedings of the 12th IFAC World Congress, pages 61-64, Sydney,
Australia, 1993
1. Modeling and feedback control of nonholonomic vehicles
George J. Pappas, and Kostas J. Kyriakopoulos
Proceedings of the 31st IEEE Conference on Decision and Control,
pages 2680-2685, Tuscon, 1992
