George J. Pappas
George J. Pappas
Professor or Electrical and Systems Engineering, University of Pennsylvania
Verified email at seas.upenn.edu - Homepage
TitleCited byYear
Flocking in Fixed and Switching Networks
HG Tanner, A Jadbabaie, GJ Pappas
IEEE Transactions on Automatic Control 52 (5), 863, 2007
13472007
Conflict resolution for air traffic management: A study in multiagent hybrid systems
C Tomlin, GJ Pappas, S Sastry
IEEE Transactions on automatic control 43 (4), 509-521, 1998
12701998
Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas
Proceedings of the IEEE 88 (7), 971-984, 2000
9312000
Stable flocking of mobile agents, Part I: Fixed topology
HG Tanner, A Jadbabaie, GJ Pappas
Decision and Control, 2003. Proceedings. 42nd IEEE Conference on 2, 2010-2015, 2003
9172003
Leader-to-formation stability
HG Tanner, GJ Pappas, V Kumar
IEEE Transactions on robotics and automation 20 (3), 443-455, 2004
8442004
ATPC: adaptive transmission power control for wireless sensor networks
S Lin, F Miao, J Zhang, G Zhou, L Gu, T He, JA Stankovic, S Son, ...
ACM Transactions on Sensor Networks (TOSN) 12 (1), 6, 2016
7132016
Stable flocking of mobile agents part ii: dynamic topology
HG Tanner, A Jadbabaie, GJ Pappas
Decision and Control, 2003. Proceedings. 42nd IEEE Conference on 2, 2016-2021, 2003
6842003
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
5092009
Approximation metrics for discrete and continuous systems
A Girard, GJ Pappas
IEEE Transactions on Automatic Control 52 (5), 782-798, 2007
4232007
Cooperative air and ground surveillance
B Grocholsky, J Keller, V Kumar, G Pappas
IEEE Robotics & Automation Magazine 13 (3), 16-25, 2006
3922006
Symbolic planning and control of robot motion [grand challenges of robotics]
C Belta, A Bicchi, M Egerstedt, E Frazzoli, E Klavins, GJ Pappas
IEEE Robotics & Automation Magazine 14 (1), 61-70, 2007
3622007
Distributed connectivity control of mobile networks
MM Zavlanos, GJ Pappas
IEEE Transactions on Robotics 24 (6), 1416-1428, 2008
3612008
O-minimal hybrid systems
G Lafferriere, GJ Pappas, S Sastry
Mathematics of control, signals and systems 13 (1), 1-21, 2000
3402000
Potential fields for maintaining connectivity of mobile networks
MM Zavlanos, GJ Pappas
IEEE Transactions on robotics 23 (4), 812-816, 2007
3312007
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
3232009
Graph-theoretic connectivity control of mobile robot networks
MM Zavlanos, MB Egerstedt, GJ Pappas
Proceedings of the IEEE 99 (9), 1525-1540, 2011
3202011
Linear time logic control of discrete-time linear systems
P Tabuada, GJ Pappas
IEEE Transactions on Automatic Control 51 (12), 1862-1877, 2006
3202006
Optimal paths in weighted timed automata
R Alur, S La Torre, GJ Pappas
International Workshop on Hybrid Systems: Computation and Control, 49-62, 2001
2842001
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
2782009
A framework for worst-case and stochastic safety verification using barrier certificates
S Prajna, A Jadbabaie, GJ Pappas
IEEE Transactions on Automatic Control 52 (8), 1415-1428, 2007
2602007
The system can't perform the operation now. Try again later.
Articles 1–20