John Lygeros

2009
35	EE	Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119
2008
34	EE	Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. HSCC 2008: 598-601
33	EE	Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613
32	EE	Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11): 2724-2734 (2008)
2007
31	EE	John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski: Impulse Differential Inclusions Driven by Discrete Measures. HSCC 2007: 385-398
30	EE	Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17
29	EE	Eva Crück, John Lygeros: A Hybrid Model for Subliminal Air Traffic Control. HSCC 2007: 672-675
28	EE	Andrea Lecchini-Visintini, John Lygeros, Jan Maciejowski: Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains. NIPS 2007
2006
27	EE	Yan Gao, John Lygeros, Marc Quincampoix: The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. HSCC 2006: 242-256
26	EE	John Lygeros, Xuerong Mao, Chenggui Yuan: Stochastic Hybrid Delay Population Dynamics. HSCC 2006: 436-450
25	EE	Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63
24	EE	Andrea Lecchini-Visintini, William Glover, John Lygeros, Jan Maciejowski: Monte Carlo Optimization for Conflict Resolution in Air Traffic Control. IEEE Transactions on Intelligent Transportation Systems 7(4): 470-482 (2006)
2005
23	EE	Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
22	EE	Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski: Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. HSCC 2005: 433-448
21		John Lygeros: An Overview of Hybrid Systems Control. Handbook of Networked and Embedded Control Systems 2005: 519-538
2004
20	EE	William Glover, John Lygeros: A Stochastic Hybrid Model for Air Traffic Control Simulation. HSCC 2004: 372-386
19	EE	Chenggui Yuan, John Lygeros: Asymptotic Stability and Boundedness of Delay Switching Diffusions. HSCC 2004: 646-659
18	EE	John Lygeros: On reachability and minimum cost optimal control. Automatica 40(6): 917-927 (2004)
2003
17	EE	Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
16	EE	Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube: Approximate Stabilisation of Uncertain Hybrid Systems. HSCC 2003: 203-215
2000
15	EE	Jianghai Hu, John Lygeros, Shankar Sastry: Towars a Theory of Stochastic Hybrid Systems. HSCC 2000: 160-173
14	EE	Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros: Towards a Geometric Theory of Hybrid Systems. HSCC 2000: 421-436
13	EE	René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry: Controlled Invariance of Discrete Time Systems. HSCC 2000: 437-450
12	EE	Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry: Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. HSCC 2000: 451-464
11	EE	Maria Prandini, Jianghai Hu, John Lygeros, Shankar Sastry: A probabilistic approach to aircraft conflict detection. IEEE Transactions on Intelligent Transportation Systems 1(4): 199-220 (2000)
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	[25] [30] [32] [34]
2	Saurabh Amin	[25] [30]
3	Manuela L. Bujorianu	[17] [23] [33]
4	Marius C. Bujorianu	[23]
5	Eugenio Cinquemani	[35]
6	Eva Crück	[29]
7	Akash Deshpande	[2]
8	Yan Gao	[16] [27]
9	William Glover	[20] [22] [24]
10	Datta N. Godbole	[1] [2] [3] [4]
11	John A. Haddon	[2]
12	Jianghai Hu	[11] [15]
13	Karl Henrik Johansson	[12] [14]
14	Rom Langerak	[33]
15	Andrea Lecchini	[22]
16	Andrea Lecchini-Visintini	[24] [28]
17	Carolos Livadas	[9]
18	Nancy A. Lynch	[8] [9]
19	Jan Maciejowski	[22] [24] [28]
20	Xuerong Mao	[26]
21	Andreas Milias-Argeitis	[35]
22	George J. Pappas	[4] [7]
23	Maria Prandini	[11] [25] [30] [32] [34]
24	Marc Quincampoix	[16] [27] [31]
25	Tadeusz Rzezuchowski	[31]
26	Shankar Sastry (Shankar S. Sastry)	[1] [3] [4] [5] [6] [7] [10] [11] [12] [13] [14] [15] [25] [30] [32] [34]
27	Shawn Schaffert	[13]
28	Nicolas Seube	[16]
29	Slobodan N. Simic	[14]
30	Sean Summers	[35]
31	Claire Tomlin	[4] [5] [6] [10]
32	René Vidal	[13]
33	Chenggui Yuan	[19] [26]
34	Jun Zhang	[12]

Colors in the list of coauthors