George J. Pappas Vis

*	2009
69	EE	Oussama Khatib, Vijay Kumar, George J. Pappas: Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece Springer 2009
68	EE	George J. Pappas: Approximations of Discrete, Continuous, and Hybrid Systems. FORMATS 2009: 12
67	EE	A. Agung Julius, George J. Pappas: Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236
66	EE	Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
65	EE	Antoine Girard, George J. Pappas: Hierarchical control system design using approximate simulation. Automatica 45(2): 566-571 (2009)
	2008
64	EE	Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas: A distributed auction algorithm for the assignment problem. CDC 2008: 1212-1217
63	EE	A. Agung Julius, George J. Pappas: Probabilistic testing for stochastic hybrid systems. CDC 2008: 4030-4035
62	EE	A. Agung Julius, Marcin Imielinski, George J. Pappas: Metabolic networks analysis using convex optimization. CDC 2008: 762-767
61	EE	Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Distributed multi-robot task assignment and formation control. ICRA 2008: 128-133
60	EE	Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas: A novel learning based segmentation method for rodent brain structures using MRI. ISBI 2008: 61-64
59	EE	Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Maintaining Connectivity in Mobile Robot Networks. ISER 2008: 117-126
58	EE	Michael M. Zavlanos, George J. Pappas: A dynamical systems approach to weighted graph matching. Automatica 44(11): 2817-2824 (2008)
57	EE	Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2): 163-179 (2008)
56	EE	Rajeev Alur, George J. Pappas: Introduction. Formal Methods in System Design 32(1): 1 (2008)
55	EE	Michael M. Zavlanos, George J. Pappas: Dynamic Assignment in Distributed Motion Planning With Local Coordination. IEEE Transactions on Robotics 24(1): 232-242 (2008)
54	EE	Michael M. Zavlanos, George J. Pappas: Distributed Connectivity Control of Mobile Networks. IEEE Transactions on Robotics 24(6): 1416-1428 (2008)
	2007
53	EE	Georgios E. Fainekos, George J. Pappas: Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
52	EE	Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
51	EE	A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
50	EE	Michael M. Zavlanos, George J. Pappas: Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. HSCC 2007: 787-789
49	EE	Peng Cheng, George J. Pappas, Vijay Kumar: Decidability of Motion Planning with Differential Constraints. ICRA 2007: 1826-1831
48	EE	Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis: Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. ICRA 2007: 2403-2408
47	EE	Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
46	EE	Michael M. Zavlanos, George J. Pappas: Sensor-Based Dynamic Assignment in Distributed Motion Planning. ICRA 2007: 3333-3338
45	EE	Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
44	EE	David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas: Valet parking without a valet. IROS 2007: 572-577
43	EE	Antoine Girard, George J. Pappas: Approximate bisimulation relations for constrained linear systems. Automatica 43(8): 1307-1317 (2007)
42	EE	Michael M. Zavlanos, George J. Pappas: Potential Fields for Maintaining Connectivity of Mobile Networks. IEEE Transactions on Robotics 23(4): 812-816 (2007)
	2006
41	EE	Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11
40	EE	Georgios E. Fainekos, George J. Pappas: Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192
39	EE	Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
38	EE	Antoine Girard, George J. Pappas: Verification Using Simulation. HSCC 2006: 272-286
37	EE	Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
36	EE	Ali Ahmadzadeh, James F. Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar: An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. ISER 2006: 491-500
35	EE	Paulo Tabuada, George J. Pappas: Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Automatica 42(10): 1833 (2006)
34	EE	Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
	2005
33	EE	Mohamed Babaali, George J. Pappas: Observability of Switched Linear Systems in Continuous Time. HSCC 2005: 103-117
32		Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas: Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025
31		Ben Grocholsky, Rahul Swaminathan, James F. Keller, Vijay Kumar, George J. Pappas: Information Driven Coordinated Air-Ground Proactive Sensing. ICRA 2005: 2211-2216
30	EE	Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur: Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120
29	EE	Paulo Tabuada, George J. Pappas: Hierarchical trajectory refinement for a class of nonlinear systems. Automatica 41(4): 701-708 (2005)
28	EE	Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005)
	2004
27		Rajeev Alur, George J. Pappas: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Springer 2004
26	EE	Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas: Synergies in Feature Localization by Air-Ground Robot Teams. ISER 2004: 352-361
25	EE	Paulo Tabuada, George J. Pappas, Pedro U. Lima: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems 14(2): 203-238 (2004)
24	EE	Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004)
	2003
23	EE	Paulo Tabuada, George J. Pappas: Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513
22		Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1): 11-28 (2003)
	2002
21	EE	Paulo Tabuada, George J. Pappas, Pedro U. Lima: Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450
20		Herbert G. Tanner, Vijay Kumar, George J. Pappas: The Effect of Feedback and Feedforward on Formation ISS. ICRA 2002: 3448-3453
19	EE	Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. Electr. Notes Theor. Comput. Sci. 69: (2002)
18		Rafael B. Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall: A Framework and Architecture for Multi-Robot Coordination. I. J. Robotic Res. 21(10-11): 977-998 (2002)
	2001
17	EE	Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31
16	EE	Joel M. Esposito, Vijay Kumar, George J. Pappas: Accurate Event Detection for Simulating Hybrid Systems. HSCC 2001: 204-217
15	EE	Tak-John Koo, George J. Pappas, Shankar Sastry: Mode Switching Synthesis for Reachability Specifications. HSCC 2001: 333-346
14	EE	Omid Shakernia, George J. Pappas, Shankar Sastry: Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC 2001: 487-500
13	EE	Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62
12	EE	Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
11	EE	Paulo Tabuada, George J. Pappas: Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514
10		Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001)
	2000
9	EE	Omid Shakernia, Shankar Sastry, George J. Pappas: Decidable Controller Synthesis for Classes of Linear Systems. HSCC 2000: 407-420
8	EE	Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael B. Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor: A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312
	1999
7	EE	Gerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
	1998
6		Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Subanalytic Stratifications and Bisimulations. HSCC 1998: 205-220
5		John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304
	1997
4	EE	Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Hybrid Systems with Finite Bisimulations. Hybrid Systems 1997: 186-203
3	EE	Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire Tomlin: SmartATMS: A Simulator for Air Traffic Management Systems. Winter Simulation Conference 1997: 1199-1205
	1996
2		George J. Pappas, Shankar Sastry: Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems 1996: 329-341
1		Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404

Coauthor Index

1	Ali Ahmadzadeh	[36]
2	Rajeev Alur	[8] [13] [17] [18] [22] [24] [27] [30] [41] [56]
3	Madhukar Anand	[51]
4	Mohamed Babaali	[33]
5	Selcuk Bayraktar	[26]
6	Vasilios Boronikolas	[60]
7	Sukmoon Chang	[60]
8	Peng Cheng	[49]
9	Howie Choset	[44]
10	Rance Cleaveland	[34]
11	David C. Conner	[44]
12	Thao Dang	[17] [22]
13	Kostas Daniilidis (Konstantinos Daniilidis)	[48]
14	Aveek K. Das	[8] [18]
15	Joel M. Esposito	[8] [16] [17] [18] [22]
16	Georgios E. Fainekos	[32] [39] [40] [45] [47] [51] [52] [53] [66]
17	Rafael B. Fierro	[8] [17] [18]
18	Antoine Girard	[30] [38] [39] [41] [43] [52] [57] [65] [66]
19	Datta N. Godbole	[1]
20	Ben Grocholsky	[26] [31]
21	Gregory Z. Grudic	[8] [18]
22	Esfandiar Haghverdi	[19] [28]
23	John Hatcliff	[34]
24	Thomas A. Henzinger	[12]
25	Yerang Hur	[8] [17] [18] [22]
26	Marcin Imielinski	[62]
27	Franjo Ivancic	[17] [22]
28	Ali Jadbabaie	[36]
29	A. Agung Julius	[51] [57] [62] [63] [67]
30	James F. Keller	[31] [36]
31	Oussama Khatib	[69]
32	Tak-John Koo	[15]
33	Tak-Kuen John Koo	[3]
34	Fabian Kratz	[37]
35	Hadas Kress-Gazit	[32] [44] [45] [47] [66]
36	Bruce H. Krogh	[12] [34]
37	Vijay Kumar	[8] [16] [17] [18] [20] [22] [26] [31] [36] [49] [59] [61] [69]
38	Gerardo Lafferriere	[4] [6] [7] [10]
39	Insup Lee	[8] [17] [18] [22] [34] [37] [51]
40	J. P. Lee	[8]
41	Peter Lee	[34]
42	Pedro U. Lima	[21] [25]
43	Qingshan Liu	[60]
44	John Lygeros	[1] [5]
45	Yi Ma	[3]
46	Oded Maler	[12]
47	Gian Luca Mariottini	[48]
48	Dimitris N. Metaxas	[60]
49	Nathan Michael	[59] [61]
50	Michael Michaelides	[60]
51	Pradyumna Mishra	[17] [22]
52	Manfred Morari	[12]
53	Fabio Morbidi	[48]
54	Truong Nghiem	[41]
55	James P. Ostrowski	[8] [18]
56	Constantinos C. Pantelides (Costas C. Pantelides)	[12]
57	Domenico Prattichizzo	[48]
58	Alfred A. Rizzi	[44]
59	Harvey Rubin	[34]
60	Alberto L. Sangiovanni-Vincentelli	[12]
61	Shankar Sastry (Shankar S. Sastry)	[1] [2] [4] [5] [6] [9] [14] [15]
62	Lui Sha	[34]
63	Omid Shakernia	[9] [14]
64	Tunc Simsec	[12]
65	Oleg Sokolsky	[17] [22] [37]
66	Ben Southall	[8] [18]
67	Leonid Spesivtsev	[64]
68	John R. Spletzer	[8] [18]
69	Rahul Swaminathan	[31]
70	Janos Sztipanovits	[12]
71	Paulo Tabuada	[11] [19] [21] [23] [25] [28] [29] [35]
72	Herbert G. Tanner	[20]
73	Camillo J. Taylor	[8] [18] [26]
74	Panayotis K. Thanos	[60]
75	Claire Tomlin	[1] [3]
76	Salvatore La Torre	[13] [24]
77	Stavros Tripakis	[12]
78	Nora D. Volkow	[60]
79	Hakan Yazarel	[30]
80	Sergio Yovine	[7] [10]
81	Michael M. Zavlanos	[42] [46] [50] [54] [55] [58] [59] [61] [64]
82	Jinghao Zhou	[60]

Colors in the list of coauthors