Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John Lygeros
2010 – today
- 2013
[j34]Tobias Sutter, Debasish Chatterjee, Federico Ramponi, John Lygeros: Isospectral flows on a class of finite-dimensional Jacobi matrices. Systems & Control Letters 62(5): 388-394 (2013)- [c63]Maryam Kamgarpour, Sean Summers, John Lygeros: Control design for specifications on stochastic hybrid systems. HSCC 2013: 303-312
- [i8]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros: Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868 (2013)
- [i7]Debasish Chatterjee, John Lygeros: Stability and performance of stochastic predictive control. CoRR abs/1304.2581 (2013)
- 2012
- [j33]Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee, Federico Ramponi, John Lygeros: Stochastic receding horizon control with output feedback and bounded controls. Automatica 48(1): 77-88 (2012)
- [j32]Debasish Chatterjee, Federico Ramponi, Peter Hokayem, John Lygeros: On mean square boundedness of stochastic linear systems with bounded controls. Systems & Control Letters 61(2): 375-380 (2012)
- [j31]Peter Hokayem, Debasish Chatterjee, Federico Ramponi, John Lygeros: Stable Networked Control Systems With Bounded Control Authority. IEEE Trans. Automat. Contr. 57(12): 3153-3157 (2012)
- [c62]Sean Summers, John Lygeros: Multi-objective optimal control of stochastic hybrid systems. CDC 2012: 1474-1479
- [c61]Peyman Mohajerin Esfahani, Maria Vrakopoulou, Göran Andersson, John Lygeros: A tractable nonlinear fault detection and isolation technique with application to the cyber-physical security of power systems. CDC 2012: 3433-3438
- [c60]Tomas Tuma, Walter Häberle, Hugo E. Rothuizen, John Lygeros, Angeliki Pantazi, Abu Sebastian: A dual-stage nanopositioning approach to high-speed scanning probe microscopy. CDC 2012: 5079-5084
- [c59]Maria Prandini, Simone Garatti, John Lygeros: A randomized approach to Stochastic Model Predictive Control. CDC 2012: 7315-7320
- [c58]Stephan M. Huck, Nikolaos Kariotoglou, Sean Summers, Davide Martino Raimondo, John Lygeros: Design of importance-map based randomized patrolling strategies. COMPENG 2012: 1-6
- [i6]Tobias Sutter, Debasish Chatterjee, Federico Ramponi, John Lygeros: Isospectral flows on a class of finite-dimensional Jacobi matrices. CoRR abs/1202.1618 (2012)
- [i5]Peyman Mohajerin Esfahani, Debasish Chatterjee, John Lygeros: On Stochastic Reach-Avoid Problem and Set Characterization for Diffusions. CoRR abs/1202.4375 (2012)
- [i4]Peyman Mohajerin Esfahani, Debasish Chatterjee, John Lygeros: Motion Planning via Optimal Control for Stochastic Processes. CoRR abs/1211.1138 (2012)
- [i3]Tyler H. Summers, Konstantin Kunz, Nikolaos Kariotoglou, Maryam Kamgarpour, Sean Summers, John Lygeros: Approximate Dynamic Programming via Sum of Squares Programming. CoRR abs/1212.1269 (2012)
- [i2]Tyler H. Summers, John Lygeros: Distributed Model Predictive Consensus via the Alternating Direction Method of Multipliers. CoRR abs/1212.1296 (2012)
- 2011
- [j30]Konstantinos Koutroumpas, John Lygeros: Modeling and analysis of DNA replication. Automatica 47(6): 1156-1164 (2011)
- [j29]Eugenio Cinquemani, Mayank Agarwal, Debasish Chatterjee, John Lygeros: Convexity and convex approximations of discrete-time stochastic control problems with constraints. Automatica 47(9): 2082-2087 (2011)
- [j28]Kostas Margellos, John Lygeros: Hamilton-Jacobi Formulation for Reach-Avoid Differential Games. IEEE Trans. Automat. Contr. 56(8): 1849-1861 (2011)
- [j27]Sean Summers, Colin Neil Jones, John Lygeros, Manfred Morari: A Multiresolution Approximation Method for Fast Explicit Model Predictive Control. IEEE Trans. Automat. Contr. 56(11): 2530-2541 (2011)
- [j26]Debasish Chatterjee, Peter Hokayem, John Lygeros: Stochastic Receding Horizon Control With Bounded Control Inputs: A Vector Space Approach. IEEE Trans. Automat. Contr. 56(11): 2704-2710 (2011)
- [c57]Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros: A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. CDC-ECE 2011: 1411-1416
- [c56]Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros: Probabilistic certification of pan-tilt-zoom camera surveillance systems. CDC-ECE 2011: 2064-2069
- [c55]Andreas Milias-Argeitis, John Lygeros: Efficient stochastic simulation of metastable Markov chains. CDC-ECE 2011: 2239-2244
- [c54]Ralph Burkart, Kostas Margellos, John Lygeros: Nonlinear control of wind turbines: An approach based on switched linear systems and feedback linearization. CDC-ECE 2011: 5485-5490
- [c53]Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin: Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC-ECE 2011: 6122-6127
- [c52]Peyman Mohajerin Esfahani, Debasish Chatterjee, John Lygeros: On a problem of stochastic reach-avoid set characterization. CDC-ECE 2011: 7069-7074
- [c51]Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian: Impulsive control for nanopositioning: stability and performance. HSCC 2011: 173-180
- [c50]Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin: A stochastic reach-avoid problem with random obstacles. HSCC 2011: 251-260
- [i1]Debasish Chatterjee, Peter Hokayem, Federico Ramponi, John Lygeros: On mean-square boundedness of stochastic linear systems with quantized observations. CoRR abs/1103.4959 (2011)
- 2010
- [j25]Sean Summers, John Lygeros: Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. Automatica 46(12): 1951-1961 (2010)
- [j24]Riccardo Porreca, Eugenio Cinquemani, John Lygeros, Giancarlo Ferrari-Trecate: Identification of genetic network dynamics with unate structure. Bioinformatics 26(9): 1239-1245 (2010)
- [j23]John Lygeros, Maria Prandini: Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications. Eur. J. Control 16(6): 583-594 (2010)
- [j22]Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini: Approximate Model Checking of Stochastic Hybrid Systems. Eur. J. Control 16(6): 624-641 (2010)
- [j21]Alessandro Abate, John Lygeros, Shankar S. Sastry: Probabilistic safety and optimal control for survival analysis of Bacillus subtilis. Systems & Control Letters 59(1): 79-85 (2010)
- [j20]Federico Ramponi, Debasish Chatterjee, Andreas Milias-Argeitis, Peter Hokayem, John Lygeros: Attaining Mean Square Boundedness of a Marginally Stable Stochastic Linear System With a Bounded Control Input. IEEE Trans. Automat. Contr. 55(10): 2414-2418 (2010)
- [j19]Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski: Stochastic Optimization on Continuous Domains With Finite-Time Guarantees by Markov Chain Monte Carlo Methods. IEEE Trans. Automat. Contr. 55(12): 2858-2863 (2010)
- [c49]Riccardo Porreca, Eugenio Cinquemani, John Lygeros, Giancarlo Ferrari-Trecate: Structural identification of unate-like genetic network models from time-lapse protein concentration measurements. CDC 2010: 2529-2534
- [c48]Andreas Milias-Argeitis, Riccardo Porreca, Sean Summers, John Lygeros: Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches. CDC 2010: 3379-3384
- [c47]Debasish Chatterjee, Saurabh Amin, Peter Hokayem, John Lygeros, Shankar Sastry: Mean-square boundedness of stochastic networked control systems with bounded control inputs. CDC 2010: 4759-4764
- [c46]Peyman Mohajerin Esfahani, Maria Vrakopoulou, Kostas Margellos, John Lygeros, Göran Andersson: A robust policy for Automatic Generation Control cyber attack in two area power network. CDC 2010: 5973-5978
- [c45]Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee, Federico Ramponi, John Lygeros: Stochastic receding horizon control with output feedback and bounded control inputs. CDC 2010: 6095-6100
- [c44]Kostas Margellos, John Lygeros: A simulation based MPC technique for feedback linearizable systems with input constraints. CDC 2010: 7539-7544
- [c43]Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros: On the connections between PCTL and dynamic programming. HSCC 2010: 253-262
- [c42]Konstantinos Koutroumpas, John Lygeros: Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. HSCC 2010: 263-272
2000 – 2009
- 2009
- [c41]Kostas Margellos, John Lygeros: Air traffic management with target windows: An approach using reachability. CDC 2009: 145-150
- [c40]Debasish Chatterjee, Eugenio Cinquemani, Georgios Chaloulos, John Lygeros: On stochastic control up to a hitting time. CDC 2009: 531-536
- [c39]Eugenio Cinquemani, Riccardo Porreca, John Lygeros, Giancarlo Ferrari-Trecate: Canalizing structure of genetic network dynamics: modelling and identification via mixed-integer programming. CDC 2009: 5618-5623
- [c38]Sean Summers, Colin Neil Jones, John Lygeros, Manfred Morari: A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees. CDC 2009: 6327-6332
- [c37]Peter Hokayem, Debasish Chatterjee, John Lygeros: On stochastic receding horizon control with bounded control inputs. CDC 2009: 6359-6364
- [c36]Dimitra Panagou, Kostas Margellos, Sean Summers, John Lygeros, Kostas J. Kyriakopoulos: A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances. CDC 2009: 8612-8617
- [c35]Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Local Identification of Piecewise Deterministic Models of Genetic Networks. HSCC 2009: 105-119
- 2008
- [j18]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)
- [j17]Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros: Stochastic dynamics of genetic networks: modelling and parameter identification. Bioinformatics 24(23): 2748-2754 (2008)
- [j16]Eugenio Cinquemani, Riccardo Porreca, Giancarlo Ferrari-Trecate, John Lygeros: Subtilin Production by Bacillus Subtilis: Stochastic Hybrid Models and Parameter Identification. IEEE Trans. Automat. Contr. 53: 38-50 (2008)
- [c34]Konstantinos Koutroumpas, Zoi Lygerou, John Lygeros: Parameter Identification for a DNA replication model. BIBE 2008: 1-6
- [c33]Eugenio Cinquemani, Vassilis Roukos, Zoi Lygerou, John Lygeros: Numerical analysis of FRAP experiments for DNA replication and repair. CDC 2008: 155-160
- [c32]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
- [c31]Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. CDC 2008: 4018-4023
- [c30]Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski: On the approximate domain optimization of deterministic and expected value criteria. CDC 2008: 4933-4938
- [c29]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
- [c28]Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613
- 2007
- [j15]Karl-Erik Årzén, Antonio Bicchi, Gianluca Dini, Stephen Hailes, Karl Henrik Johansson, John Lygeros, Anthony Tzes: A Component-Based Approach to the Design of Networked Control Systems. Eur. J. Control 13(2-3): 261-279 (2007)
- [j14]Yan Gao, John Lygeros, Marc Quincampoix: On the Reachability Problem for Uncertain Hybrid Systems. IEEE Trans. Automat. Contr. 52(9): 1572-1586 (2007)
- [c27]Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17
- [c26]John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski: Impulse Differential Inclusions Driven by Discrete Measures. HSCC 2007: 385-398
- [c25]
- [c24]Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski: Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains. NIPS 2007
- 2006
- [j13]Chenggui Yuan, John Lygeros: Asymptotic stability and boundedness of delay switching diffusions. IEEE Trans. Automat. Contr. 51(1): 171-175 (2006)
- [j12]Sasa V. Rakovic, Eric C. Kerrigan, David Q. Mayne, John Lygeros: Reachability analysis of discrete-time systems with disturbances. IEEE Trans. Automat. Contr. 51(4): 546-561 (2006)
- [j11]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)
- [c23]Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63
- [c22]Yan Gao, John Lygeros, Marc Quincampoix: The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. HSCC 2006: 242-256
- [c21]John Lygeros, Xuerong Mao, Chenggui Yuan: Stochastic Hybrid Delay Population Dynamics. HSCC 2006: 436-450
- 2005
- [j10]Andrea Balluchi, Luca Benvenuti, Sebastian Engell, Tobias Geyer, Karl Henrik Johansson, Françoise Lamnabhi-Lagarrigue, John Lygeros, Manfred Morari, Georgios Papafotiou, Alberto L. Sangiovanni-Vincentelli, Fortunato Santucci, Olaf Stursberg: Hybrid Control of Networked Embedded Systems. Eur. J. Control 11(4-5): 478-508 (2005)
- [j9]Chenggui Yuan, John Lygeros: Stabilization of a class of stochastic differential equations with Markovian switching. Systems & Control Letters 54(9): 819-833 (2005)
- [j8]Chenggui Yuan, John Lygeros: On the exponential stability of switching diffusion processes. IEEE Trans. Automat. Contr. 50(9): 1422-1426 (2005)
- [p1]John Lygeros: An Overview of Hybrid Systems Control. Handbook of Networked and Embedded Control Systems 2005: 519-538
- [c20]Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
- [c19]Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski: Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. HSCC 2005: 433-448
- 2004
- [j7]
- [c18]William Glover, John Lygeros: A Stochastic Hybrid Model for Air Traffic Control Simulation. HSCC 2004: 372-386
- [c17]Chenggui Yuan, John Lygeros: Asymptotic Stability and Boundedness of Delay Switching Diffusions. HSCC 2004: 646-659
- 2003
- [j6]John Lygeros: Discussion on: "Switched Integrator Control Schemes for Integrating Plants". Eur. J. Control 9(6): 560-565 (2003)
- [j5]John Lygeros, Karl Henrik Johansson, Slobodan N. Simic, Jun Zhang, Shankar S. Sastry: Dynamical properties of hybrid automata. IEEE Trans. Automat. Contr. 48(1): 2-17 (2003)
- [c16]Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
- [c15]Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube: Approximate Stabilisation of Uncertain Hybrid Systems. HSCC 2003: 203-215
- 2002
- [j4]Jean-Pierre Aubin, John Lygeros, Marc Quincampoix, Shankar Sastry, Nicolas Seube: Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Automat. Contr. 47(1): 2-20 (2002)
- 2000
- [j3]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)
- [c14]Jianghai Hu, John Lygeros, Shankar Sastry: Towars a Theory of Stochastic Hybrid Systems. HSCC 2000: 160-173
- [c13]Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros: Towards a Geometric Theory of Hybrid Systems. HSCC 2000: 421-436
- [c12]René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry: Controlled Invariance of Discrete Time Systems. HSCC 2000: 437-450
- [c11]Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry: Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. HSCC 2000: 451-464
1990 – 1999
- 1999
- [j2]John Lygeros, Claire Tomlin, Shankar Sastry: Controllers for reachability specifications for hybrid systems. Automatica 35(3): 349-370 (1999)
- [c10]Claire Tomlin, John Lygeros, Shankar Sastry: Computing Controllers for Nonlinear Hybrid Systems. HSCC 1999: 238-255
- [c9]Carolos Livadas, John Lygeros, Nancy A. Lynch: High-Level Modeling and Analysis of TCAS. RTSS 1999: 115-125
- 1998
- [c8]John Lygeros, Nancy A. Lynch: Strings of Vehicles: Modeling and Safety Conditions. HSCC 1998: 273-288
- [c7]John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304
- [c6]Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. HSCC 1998: 360-373
- 1997
- [j1]
- [c5]John Lygeros, Claire Tomlin, Shankar Sastry: Multiobjective Hybrid Controller Synthesis. HART 1997: 109-123
- 1996
- [c4]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
- [c3]John Lygeros, Datta N. Godbole, Shankar Sastry: A Game-Theoretic Approach to Hybrid System Design. Hybrid Systems 1995: 1-12
- [c2]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
- [c1]Datta N. Godbole, John Lygeros, Shankar Sastry: Hierarchical Hybrid Control: A Case Study. Hybrid Systems 1994: 166-190
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-19 19:34 CEST by the dblp team