John Lygeros

	2009
41		Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119
	2008
40		K. Koutroumpas, Zoi Lygerou, John Lygeros: Parameter Identification for a DNA replication model. BIBE 2008: 1-6
39		Giannis P. Roussos, Georgios Chaloulos, Kostas J. Kyriakopoulos, John Lygeros: Control of multiple non-holonomic air vehicles under wind uncertainty using Model Predictive Control and decentralized navigation functions. CDC 2008: 1225-1230
38		Eugenio Cinquemani, Vassilis Roukos, Zoi Lygerou, John Lygeros: Numerical analysis of FRAP experiments for DNA replication and repair. CDC 2008: 155-160
37		Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. CDC 2008: 4018-4023
36		Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski: On the approximate domain optimization of deterministic and expected value criteria. CDC 2008: 4933-4938
35		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
34		Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613
33		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)
32		Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Stochastic dynamics of genetic networks: modelling and parameter identification. Bioinformatics 24(23): 2748-2754 (2008)
	2007
31		John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski: Impulse Differential Inclusions Driven by Discrete Measures. HSCC 2007: 385-398
30		Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17
29		Eva Crück, John Lygeros: A Hybrid Model for Subliminal Air Traffic Control. HSCC 2007: 672-675
28		Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski: Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains. NIPS 2007
	2006
27		Yan Gao, John Lygeros, Marc Quincampoix: The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. HSCC 2006: 242-256
26		John Lygeros, Xuerong Mao, Chenggui Yuan: Stochastic Hybrid Delay Population Dynamics. HSCC 2006: 436-450
25		Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63
24		Andrea Lecchini-Visintini, William Glover, John Lygeros, Jan M. Maciejowski: Monte Carlo Optimization for Conflict Resolution in Air Traffic Control. IEEE Transactions on Intelligent Transportation Systems 7(4): 470-482 (2006)
	2005
23		Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
22		Andrea Lecchini, William Glover, John Lygeros, Jan M. 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		William Glover, John Lygeros: A Stochastic Hybrid Model for Air Traffic Control Simulation. HSCC 2004: 372-386
19		Chenggui Yuan, John Lygeros: Asymptotic Stability and Boundedness of Delay Switching Diffusions. HSCC 2004: 646-659
18		John Lygeros: On reachability and minimum cost optimal control. Automatica 40(6): 917-927 (2004)
	2003
17		Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
16		Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube: Approximate Stabilisation of Uncertain Hybrid Systems. HSCC 2003: 203-215
	2000
15		Jianghai Hu, John Lygeros, Shankar Sastry: Towars a Theory of Stochastic Hybrid Systems. HSCC 2000: 160-173
14		Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros: Towards a Geometric Theory of Hybrid Systems. HSCC 2000: 421-436
13		René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry: Controlled Invariance of Discrete Time Systems. HSCC 2000: 437-450
12		Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry: Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. HSCC 2000: 451-464
11		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		Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
9		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] [33] [35] [37]
2	Saurabh Amin	[25] [30]
3	Manuela L. Bujorianu	[17] [23] [34]
4	Marius C. Bujorianu	[23]
5	Georgios Chaloulos	[39]
6	Eugenio Cinquemani	[32] [38] [41]
7	Eva Crück	[29]
8	Akash Deshpande	[2]
9	Yan Gao	[16] [27]
10	William Glover	[20] [22] [24]
11	Datta N. Godbole	[1] [2] [3] [4]
12	John A. Haddon	[2]
13	Jianghai Hu	[11] [15]
14	Karl Henrik Johansson	[12] [14]
15	K. Koutroumpas	[40]
16	Kostas J. Kyriakopoulos	[39]
17	Rom Langerak	[34]
18	Andrea Lecchini	[22]
19	Andrea Lecchini-Visintini	[24] [28] [36]
20	Carolos Livadas	[9]
21	Zoi Lygerou	[38] [40]
22	Nancy A. Lynch	[8] [9]
23	Jan M. Maciejowski	[22] [24] [28] [36]
24	Xuerong Mao	[26]
25	Andreas Milias-Argeitis	[32] [41]
26	George J. Pappas	[4] [7]
27	Maria Prandini	[11] [25] [30] [33] [35] [37]
28	Marc Quincampoix	[16] [27] [31]
29	Vassilis Roukos	[38]
30	Giannis P. Roussos	[39]
31	Tadeusz Rzezuchowski	[31]
32	Shankar Sastry (Shankar S. Sastry)	[1] [3] [4] [5] [6] [7] [10] [11] [12] [13] [14] [15] [25] [30] [33] [35] [37]
33	Shawn Schaffert	[13]
34	Nicolas Seube	[16]
35	Slobodan N. Simic	[14]
36	Sean Summers	[32] [41]
37	Claire Tomlin	[4] [5] [6] [10]
38	René Vidal	[13]
39	Chenggui Yuan	[19] [26]
40	Jun Zhang	[12]

Colors in the list of coauthors