John Lygeros

2007
27	EE	John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski: Impulse Differential Inclusions Driven by Discrete Measures. HSCC 2007: 385-398
26	EE	Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17
25	EE	Eva Crück, John Lygeros: A Hybrid Model for Subliminal Air Traffic Control. HSCC 2007: 672-675
2006
24	EE	Yan Gao, John Lygeros, Marc Quincampoix: The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. HSCC 2006: 242-256
23	EE	John Lygeros, Xuerong Mao, Chenggui Yuan: Stochastic Hybrid Delay Population Dynamics. HSCC 2006: 436-450
22	EE	Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63
2005
21	EE	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
20	EE	Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski: Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. HSCC 2005: 433-448
19		John Lygeros: An Overview of Hybrid Systems Control. Handbook of Networked and Embedded Control Systems 2005: 519-538
2004
18	EE	William Glover, John Lygeros: A Stochastic Hybrid Model for Air Traffic Control Simulation. HSCC 2004: 372-386
17	EE	Chenggui Yuan, John Lygeros: Asymptotic Stability and Boundedness of Delay Switching Diffusions. HSCC 2004: 646-659
2003
16	EE	Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
15	EE	Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube: Approximate Stabilisation of Uncertain Hybrid Systems. HSCC 2003: 203-215
2000
14	EE	Jianghai Hu, John Lygeros, Shankar Sastry: Towars a Theory of Stochastic Hybrid Systems. HSCC 2000: 160-173
13	EE	Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros: Towards a Geometric Theory of Hybrid Systems. HSCC 2000: 421-436
12	EE	René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry: Controlled Invariance of Discrete Time Systems. HSCC 2000: 437-450
11	EE	Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry: Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. HSCC 2000: 451-464
1999
10	EE	Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
9	EE	Carolos Livadas, John Lygeros, Nancy A. Lynch: High-Level Modeling and Analysis of TCAS. IEEE Real-Time Systems Symposium 1999: 115-125
1998
8		John Lygeros, Nancy A. Lynch: Strings of Vehicles: Modeling and Safety Conditions. HSCC 1998: 273-288
7		John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304
6		Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373
1997
5		John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123
1996
4		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
1995
3		John Lygeros, Datta N. Godbole, Shankar Sastry: A Game-Theoretic Approach to Hybrid System Design. Hybrid Systems 1995: 1-12
2		John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros: Verification of Hybrid Systems: Monotonicity in the AHS Control System. Hybrid Systems 1995: 161-172
1994
1		Datta N. Godbole, John Lygeros, Shankar Sastry: Hierarchical Hybrid Control: A Case Study. Hybrid Systems 1994: 166-190

Coauthor Index

1	Alessandro Abate	[22] [26]
2	Saurabh Amin	[22] [26]
3	Manuela L. Bujorianu	[16] [21]
4	Marius C. Bujorianu	[21]
5	Eva Crück	[25]
6	Akash Deshpande	[2]
7	Yan Gao	[15] [24]
8	William Glover	[18] [20]
9	Datta N. Godbole	[1] [2] [3] [4]
10	John A. Haddon	[2]
11	Jianghai Hu	[14]
12	Karl Henrik Johansson	[11] [13]
13	Andrea Lecchini	[20]
14	Carolos Livadas	[9]
15	Nancy A. Lynch	[8] [9]
16	Jan Maciejowski	[20]
17	Xuerong Mao	[23]
18	George J. Pappas	[4] [7]
19	Maria Prandini	[22] [26]
20	Marc Quincampoix	[15] [24] [27]
21	Tadeusz Rzezuchowski	[27]
22	Shankar Sastry	[1] [3] [4] [5] [6] [7] [10] [11] [12] [13] [14] [22] [26]
23	Shawn Schaffert	[12]
24	Nicolas Seube	[15]
25	Slobodan N. Simic	[13]
26	Claire Tomlin	[4] [5] [6] [10]
27	René Vidal	[12]
28	Chenggui Yuan	[17] [23]
29	Jun Zhang	[11]

Colors in the list of coauthors