| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee, Federico Ramponi, John Lygeros |
Stochastic receding horizon control with output feedback and bounded controls.  |
Automatica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peyman Mohajerin Esfahani, Debasish Chatterjee, John Lygeros |
On Stochastic Reach-Avoid Problem and Set Characterization for Diffusions |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Tobias Sutter, Debasish Chatterjee, Federico Ramponi, John Lygeros |
Isospectral flows on a class of finite-dimensional Jacobi matrices |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Debasish Chatterjee, Federico Ramponi, Peter Hokayem, John Lygeros |
On mean square boundedness of stochastic linear systems with bounded controls. |
Systems & Control Letters |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Mayank Agarwal, Debasish Chatterjee, John Lygeros |
Convexity and convex approximations of discrete-time stochastic control problems with constraints. |
Automatica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Koutroumpas, John Lygeros |
Modeling and analysis of DNA replication. |
Automatica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Margellos, John Lygeros |
Hamilton-Jacobi Formulation for Reach-Avoid Differential Games. |
IEEE Trans. Automat. Contr. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasish Chatterjee, Peter Hokayem, John Lygeros |
Stochastic Receding Horizon Control With Bounded Control Inputs: A Vector Space Approach. |
IEEE Trans. Automat. Contr. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Summers, Colin Neil Jones, John Lygeros, Manfred Morari |
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control. |
IEEE Trans. Automat. Contr. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasish Chatterjee, Peter Hokayem, Federico Ramponi, John Lygeros |
On mean-square boundedness of stochastic linear systems with quantized observations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Peyman Mohajerin Esfahani, Debasish Chatterjee, John Lygeros |
On a problem of stochastic reach-avoid set characterization. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Milias-Argeitis, John Lygeros |
Efficient stochastic simulation of metastable Markov chains. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph Burkart, Kostas Margellos, John Lygeros |
Nonlinear control of wind turbines: An approach based on switched linear systems and feedback linearization. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Martino Raimondo, Nikolaos Kariotoglou, Sean Summers, John Lygeros |
Probabilistic certification of pan-tilt-zoom camera surveillance systems. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Kariotoglou, Davide Martino Raimondo, Sean Summers, John Lygeros |
A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin |
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Summers, Maryam Kamgarpour, John Lygeros, Claire Tomlin |
A stochastic reach-avoid problem with random obstacles. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Tuma, Aggeliki Pantazi, John Lygeros, Abu Sebastian |
Impulsive control for nanopositioning: stability and performance. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Summers, John Lygeros |
Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem. |
Automatica |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Porreca, Eugenio Cinquemani, John Lygeros, Giancarlo Ferrari-Trecate |
Identification of genetic network dynamics with unate structure. |
Bioinformatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, John Lygeros, Shankar S. Sastry |
Probabilistic safety and optimal control for survival analysis of Bacillus subtilis. |
Systems & Control Letters |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee, Federico Ramponi, John Lygeros |
Stochastic receding horizon control with output feedback and bounded control inputs. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Margellos, John Lygeros |
A simulation based MPC technique for feedback linearizable systems with input constraints. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasish Chatterjee, Saurabh Amin, Peter Hokayem, John Lygeros, Shankar Sastry |
Mean-square boundedness of stochastic networked control systems with bounded control inputs. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros |
On the connections between PCTL and dynamic programming. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
pctl, dynamic programming, markov processes, integral equation |
| 1 | Konstantinos Koutroumpas, John Lygeros |
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
hybrid input output automata, sthochastic hybrid systems, verfication, systems biology |
| 1 | Debasish Chatterjee, Eugenio Cinquemani, Georgios Chaloulos, John Lygeros |
On stochastic control up to a hitting time. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Riccardo Porreca, John Lygeros, Giancarlo Ferrari-Trecate |
Canalizing structure of genetic network dynamics: modelling and identification via mixed-integer programming. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hokayem, Debasish Chatterjee, John Lygeros |
On stochastic receding horizon control with bounded control inputs. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostas Margellos, John Lygeros |
Air traffic management with target windows: An approach using reachability. |
CDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros |
Local Identification of Piecewise Deterministic Models of Genetic Networks. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
Piecewise deterministic systems, state-space identification, sampled systems, Markov processes, convex optimization |
| 1 | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry |
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. |
Automatica |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros |
Stochastic dynamics of genetic networks: modelling and parameter identification. |
Bioinformatics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski |
On the approximate domain optimization of deterministic and expected value criteria. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio Cinquemani, Vassilis Roukos, Zoi Lygerou, John Lygeros |
Numerical analysis of FRAP experiments for DNA replication and repair. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry |
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Koutroumpas, Zoi Lygerou, John Lygeros |
Parameter Identification for a DNA replication model. |
BIBE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, John Lygeros, Rom Langerak |
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
Stochastic hybrid systems, reachability problem, Markov processes, optimal stopping |
| 1 | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry |
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski |
Impulse Differential Inclusions Driven by Discrete Measures. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Crück, John Lygeros |
A Hybrid Model for Subliminal Air Traffic Control. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry |
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Lecchini-Visintini, John Lygeros, Jan M. Maciejowski |
Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains. |
NIPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry |
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Xuerong Mao, Chenggui Yuan |
Stochastic Hybrid Delay Population Dynamics. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
Itô’s formula, ultimate boundedness, extinction, Brownian motion |
| 1 | Yan Gao, John Lygeros, Marc Quincampoix |
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenggui Yuan, John Lygeros |
Stabilization of a class of stochastic differential equations with Markovian switching. |
Systems & Control Letters |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros |
An Overview of Hybrid Systems Control. |
Handbook of Networked and Embedded Control Systems |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
| 1 | Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski |
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros |
On reachability and minimum cost optimal control. |
Automatica |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | William Glover, John Lygeros |
A Stochastic Hybrid Model for Air Traffic Control Simulation. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenggui Yuan, John Lygeros |
Asymptotic Stability and Boundedness of Delay Switching Diffusions. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
Itô formula, Switching diffusions, Stochastic asymptotic stability, Lyapunov function |
| 1 | Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube |
Approximate Stabilisation of Uncertain Hybrid Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela L. Bujorianu, John Lygeros |
Reachability Questions in Piecewise Deterministic Markov Processes. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
Markov processes, Hybrid systems, reachability, hitting times |
| 1 | Maria Prandini, Jianghai Hu, John Lygeros, Shankar Sastry |
A probabilistic approach to aircraft conflict detection. |
IEEE Transactions on Intelligent Transportation Systems |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianghai Hu, John Lygeros, Shankar Sastry |
Towars a Theory of Stochastic Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | René Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry |
Controlled Invariance of Discrete Time Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry |
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Slobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros |
Towards a Geometric Theory of Hybrid Systems. |
HSCC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Claire Tomlin, Shankar Sastry |
Controllers for reachability specifications for hybrid systems. |
Automatica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolos Livadas, John Lygeros, Nancy A. Lynch |
High-Level Modeling and Analysis of TCAS. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1999 |
DBLP DOI BibTeX RDF |
hybrid I/O automaton, TCAS, formal verification, hybrid system, safety-critical |
| 1 | Claire Tomlin, John Lygeros, Shankar Sastry |
Computing Controllers for Nonlinear Hybrid Systems. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Tomlin, John Lygeros, Shankar Sastry |
Synthesizing Controllers for Nonlinear Hybrid Systems. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Nancy A. Lynch |
Strings of Vehicles: Modeling and Safety Conditions. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, George J. Pappas, Shankar Sastry |
An Approach to the Verification of the Center-TRACON Automation System. |
HSCC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Claire Tomlin, Shankar Sastry |
Multiobjective Hybrid Controller Synthesis. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Datta N. Godbole, Shankar Sastry |
A Game-Theoretic Approach to Hybrid System Design. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros |
Verification of Hybrid Systems: Monotonicity in the AHS Control System. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Datta N. Godbole, John Lygeros, Shankar Sastry |
Hierarchical Hybrid Control: A Case Study. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")