George J. Pappas
Professor, ESE and CIS
Director, GRASP Laboratory
Research Interests
Hybrid systems, hierarchical control systems, embedded real-time
systems, nonlinear systems, geometric control theory, robotics,
air traffic management systems, formation control systems, distributed
control of multi-agent systems.
Current Projects
Representative Publications
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.
Approximation
metrics for discrete and continuous systems
Antoine Girard and George J. Pappas
Technical Report MS-CIS-05-10, Dept. of CIS, University
of Pennsylvania, May 2005.
Controlling
connectivity of dynamic graphs
Michael M. Zavlanos and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain,
December 2005.
Approximate
bisimulations for constrained linear systems
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain,
December 2005.
Approximate
bisimulations for nonlinear dynamical systems
Antoine Girard and George J. Pappas
IEEE Conference on Decision and Control, Seville, Spain,
December 2005.
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.
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.
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.
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, March 2005.
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.
Teaching
- ESE
304 - Introduction to Optimization
- ESE
500 - Linear Systems Theory
|
|
Contact Information
| Office:
| 460 Levine/GRW
|
| Phone:
| 215-898-9780
|
| Email:
| pappasg at host cis.upenn.edu
|
| Mail:
| Electrical and Systems Engineering
University of Pennsylvania
200 South 33rd Street
Philadelphia, PA 19104
|
|
