# John Lygeros

According to our database1, John Lygeros authored at least 309 papers between 1994 and 2021.

Collaborative distances:

## IEEE Fellow

IEEE Fellow 2011, "For contributions to hybrid and stochastic systems and applications".

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2021
Two-Stage Dual Dynamic Programming With Application to Nonlinear Hydro Scheduling.
IEEE Trans. Control. Syst. Technol., 2021

Safe and Efficient Model-free Adaptive Control via Bayesian Optimization.
CoRR, 2021

2020
A Noncooperative Game Approach to Autonomous Racing.
IEEE Trans. Control. Syst. Technol., 2020

A Distributed Algorithm For Almost-Nash Equilibria of Average Aggregative Games With Coupling Constraints.
IEEE Trans. Control. Netw. Syst., 2020

Distributed Model Predictive Control for Linear Systems With Adaptive Terminal Sets.
IEEE Trans. Autom. Control., 2020

Performance Guarantees for Model-Based Approximate Dynamic Programming in Continuous Spaces.
IEEE Trans. Autom. Control., 2020

J. Parallel Distributed Comput., 2020

AMZ Driverless: The full autonomous racing system.
J. Field Robotics, 2020

A moment and sum-of-squares extension of dual dynamic programming with application to nonlinear energy storage problems.
Eur. J. Oper. Res., 2020

An Extended Kalman Filter for Data-Enabled Predictive Control.
IEEE Control. Syst. Lett., 2020

Quadratic Regularization of Data-Enabled Predictive Control: Theory and Application to Power Converter Experiments.
CoRR, 2020

Learning from Simulation, Racing in Reality.
CoRR, 2020

Input Convex Neural Networks for Building MPC.
CoRR, 2020

Safety-Aware Cascade Controller Tuning Using Constrained Bayesian Optimization.
CoRR, 2020

Machine learning and robust MPC for frequency regulation with heat pumps.
CoRR, 2020

Performance-Driven Cascade Controller Tuning with Bayesian Optimization.
CoRR, 2020

Multiperiod Stochastic Peak Shaving Using Storage.
CoRR, 2020

Distributed Model Predictive Control with Reconfigurable Terminal Ingredients for Reference Tracking.
CoRR, 2020

Distributed Model Predictive Control with Asymmetric Adaptive Terminal Sets for the Regulation of Large-scale Systems.
CoRR, 2020

Cascade Control: Data-Driven Tuning Approach Based on Bayesian Optimization.
CoRR, 2020

Control of Networked Systems by Clustering: The Degree of Freedom Concept.
CoRR, 2020

Learning Optimal Control Policies for Stochastic Systems with a Relaxed Bellman Operator.
CoRR, 2020

Data-Driven Control of Unknown Systems: A Linear Programming Approach.
CoRR, 2020

Distributed convergence to Nash equilibria in network and average aggregative games.
Autom., 2020

Learning solutions to hybrid control problems using Benders cuts.
Proceedings of the 2nd Annual Conference on Learning for Dynamics and Control, 2020

Optimization-Based Hierarchical Motion Planning for Autonomous Racing.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Reference design for closed loop system optimization.
Proceedings of the 18th European Control Conference, 2020

Constrained Optimal Tracking Control of Unknown Systems: A Multi-Step Linear Programming Approach.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Strengthening the Group: Aggregated Frequency Reserve Bidding With ADMM.
IEEE Trans. Smart Grid, 2019

Aggregation and Disaggregation of Energetic Flexibility From Distributed Energy Resources.
IEEE Trans. Smart Grid, 2019

Unlocking the Potential of Flexible Energy Resources to Help Balance the Power Grid.
IEEE Trans. Smart Grid, 2019

Real-Time Control for Autonomous Racing Based on Viability Theory.
IEEE Trans. Control. Syst. Technol., 2019

The Power of Diversity: Data-Driven Robust Predictive Control for Energy-Efficient Buildings and Districts.
IEEE Trans. Control. Syst. Technol., 2019

Generalized Dual Dynamic Programming for Infinite Horizon Problems in Continuous State and Action Spaces.
IEEE Trans. Autom. Control., 2019

Nash and Wardrop Equilibria in Aggregative Games With Coupling Constraints.
IEEE Trans. Autom. Control., 2019

Generalized Maximum Entropy Estimation.
J. Mach. Learn. Res., 2019

Enabling Optimization-Based Localization for IoT Devices.
IEEE Internet Things J., 2019

Data-Driven Wide-Area Control.
CoRR, 2019

The Nash Equilibrium with Inertia in Population Games.
CoRR, 2019

Accelerated point-wise maximum approach to approximate dynamic programming.
CoRR, 2019

Game-theoretic robust energy coordination for a neighbourhood of smart homes.
Proceedings of the 17th European Control Conference, 2019

Nonlinear Control of Quadcopters via Approximate Dynamic Programming.
Proceedings of the 17th European Control Conference, 2019

Data-Enabled Predictive Control: In the Shallows of the DeePC.
Proceedings of the 17th European Control Conference, 2019

Price Control for Heterogeneous Thermostatically Controlled Loads in Communication and Computation Delay Environments.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Real-Time Predictive Control for Precision Machining.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Data-Enabled Predictive Control for Grid-Connected Power Converters.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Regularized and Distributionally Robust Data-Enabled Predictive Control.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Approximate Explicit Model Predictive Controller using Gaussian Processes.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

A Data-Driven Policy Iteration Scheme based on Linear Programming.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Dynamic Mechanism Design for Human-in-the-Loop Control of Building Energy Consumption.
Proceedings of the 2019 American Control Conference, 2019

Data-Driven Chance Constrained Optimization under Wasserstein Ambiguity Sets.
Proceedings of the 2019 American Control Conference, 2019

Decentralized Resource Allocation via Dual Consensus ADMM.
Proceedings of the 2019 American Control Conference, 2019

2018
Corrections to "On Submodularity and Controllability in Complex Dynamical Networks".
IEEE Trans. Control. Netw. Syst., 2018

Computing the Projected Reachable Set of Stochastic Biochemical Reaction Networks Modeled by Switched Affine Systems.
IEEE Trans. Autom. Control., 2018

From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming.
SIAM J. Optim., 2018

Low-Dimensional Space- and Time-Coupled Power System Control Policies Driven by High-Dimensional Ensemble Weather Forecasts.
IEEE Control. Syst. Lett., 2018

On the Efficiency of Nash Equilibria in Aggregative Charging Games.
IEEE Control. Syst. Lett., 2018

Inference of the three-dimensional chromatin structure and its temporal behavior.
CoRR, 2018

Ramp-Rate-Constrained Bidding of Energy and Frequency Reserves in Real Market Settings.
CoRR, 2018

Decentralized decision making for networks of uncertain systems.
CoRR, 2018

On the Efficiency of Nash Equilibria in Charging Games.
CoRR, 2018

Optimization based self-localization for IoT wireless sensor networks.
Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Fully Decentralized ADMM for Coordination and Collision Avoidance.
Proceedings of the 16th European Control Conference, 2018

Dual Dynamic Programming for Nonlinear Control Problems over Long Horizons.
Proceedings of the 16th European Control Conference, 2018

Humans-in-the-loop: A Game-Theoretic Perspective on Adaptive Building Energy Systems.
Proceedings of the 16th European Control Conference, 2018

High-Performance Cooperative Distributed Model Predictive Control for Linear Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Strong Stationarity Conditions for Optimal Control of Hybrid Systems.
IEEE Trans. Autom. Control., 2017

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes.
J. Artif. Intell. Res., 2017

On Infinite Linear Programming and the Moment Approach to Deterministic Infinite Horizon Discounted Optimal Control Problems.
IEEE Control. Syst. Lett., 2017

A Data-Driven Stochastic Optimization Approach to the Seasonal Storage Energy Management.
IEEE Control. Syst. Lett., 2017

A Non-Cooperative Game Approach to Autonomous Racing.
CoRR, 2017

Computing the projected reachable set of switched affine systems: an application to systems biology.
CoRR, 2017

A distributed algorithm for average aggregative games with coupling constraints.
CoRR, 2017

An Integrated and Scalable Platform for Proactive Event-Driven Traffic Management.
CoRR, 2017

Robust optimal control with adjustable uncertainty sets.
Autom., 2017

Control synthesis for stochastic systems given automata specifications defined by stochastic sets.
Autom., 2017

Capacity of random channels with large alphabets.

Data-driven approximate dynamic programming: A linear programming approach.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

A novel concept of equilibrium over a network.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Point-wise maximum approach to approximate dynamic programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Convex, monotone systems are optimally operated at steady-state.
Proceedings of the 2017 American Control Conference, 2017

Racing miniature cars: Enhancing performance using Stochastic MPC and disturbance feedback.
Proceedings of the 2017 American Control Conference, 2017

2016
A Hybrid Optimal Control Approach to Fuel-Efficient Aircraft Conflict Avoidance.
IEEE Trans. Intell. Transp. Syst., 2016

On Submodularity and Controllability in Complex Dynamical Networks.
IEEE Trans. Control. Netw. Syst., 2016

A Scenario Approach for Non-Convex Control Design.
IEEE Trans. Autom. Control., 2016

Decentralized Convergence to Nash Equilibria in Constrained Deterministic Mean Field Control.
IEEE Trans. Autom. Control., 2016

A Tractable Fault Detection and Isolation Approach for Nonlinear Systems With Probabilistic Performance.
IEEE Trans. Autom. Control., 2016

Motion Planning for Continuous-Time Stochastic Processes: A Dynamic Programming Approach.
IEEE Trans. Autom. Control., 2016

On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs.
Syst. Control. Lett., 2016

Elucidation of Genetic Interactions in the Yeast GATA-Factor Network Using Bayesian Model Selection.
PLoS Comput. Biol., 2016

Multiplicity of equilibria in conjectural variations models of natural gas markets.
Eur. J. Oper. Res., 2016

Approximate Dynamic Programming: a $\mathcal{Q}$-Function Approach.
CoRR, 2016

The stochastic reach-avoid problem and set characterization for diffusions.
Autom., 2016

Distributed learning in the presence of disturbances.
Proceedings of the 15th European Control Conference, 2016

On aggregative and mean field games with applications to electricity markets.
Proceedings of the 15th European Control Conference, 2016

Efficient implementation of Randomized MPC for miniature race cars.
Proceedings of the 15th European Control Conference, 2016

Alleviating tuning sensitivity in Approximate Dynamic Programming.
Proceedings of the 15th European Control Conference, 2016

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems.
Proceedings of the ARCH@CPSWeek 2016, 2016

ADMM prescaling for model predictive control.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Reachability analysis for switched affine systems and its application to controlled stochastic biochemical reaction networks.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Distributed computation of generalized Nash equilibria in quadratic aggregative games with affine coupling constraints.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Constrained deterministic leader-follower mean field control.
Proceedings of the 2016 American Control Conference, 2016

2015
Identification and Control of Cell Populations.
Proceedings of the Encyclopedia of Systems and Control, 2015

Moment-Based Methods for Parameter Inference and Experiment Design for Stochastic Biochemical Reaction Networks.
ACM Trans. Model. Comput. Simul., 2015

Efficient Approximation of Channel Capacities.
IEEE Trans. Inf. Theory, 2015

On the Connection Between Compression Learning and Scenario Based Single-Stage and Cascading Optimization Problems.
IEEE Trans. Autom. Control., 2015

Inverse Parametric Optimization With an Application to Hybrid System Control.
IEEE Trans. Autom. Control., 2015

Performance Bounds for the Scenario Approach and an Extension to a Class of Non-Convex Programs.
IEEE Trans. Autom. Control., 2015

On Stability and Performance of Stochastic Predictive Control Techniques.
IEEE Trans. Autom. Control., 2015

Robust Optimal Control with Adjustable Uncertainty Sets.
CoRR, 2015

Network Aggregative Games and Distributed Mean Field Control via Consensus Theory.
CoRR, 2015

Upper bounds for the reach-avoid probability via robust optimization.
CoRR, 2015

Continuous Optimality Conditions for Constrained Optimal Control of Hybrid Systems.
CoRR, 2015

Inference of protein kinetics by stochastic modeling and simulation of fluorescence recovery after photobleaching experiments.
Bioinform., 2015

On the sample size of random convex programs with structured dependence on the uncertainty.
Autom., 2015

A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Stochastic frequency reserve provision by chance-constrained control of commercial buildings.
Proceedings of the 14th European Control Conference, 2015

Topology design for optimal network coherence.
Proceedings of the 14th European Control Conference, 2015

Flow-maximizing equilibria of the Cell Transmission Model.
Proceedings of the 14th European Control Conference, 2015

On constrained mean field control for large populations of heterogeneous agents: Decentralized convergence to Nash equilibria.
Proceedings of the 14th European Control Conference, 2015

A Mean Field control approach for demand side management of large populations of Thermostatically Controlled Loads.
Proceedings of the 14th European Control Conference, 2015

Convex approximation of chance-constrained MPC through piecewise affine policies using randomized and robust optimization.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the price of being selfish in large populations of plug-in electric vehicles.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the use of hyperplane methods to compute the reachable set of controlled stochastic biochemical reaction networks.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Network aggregative games: Distributed convergence to Nash equilibria.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the range of feasible power trajectories for a population of thermostatically controlled loads.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Aggregation of energetic flexibility using zonotopes.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A necessary optimality condition for constrained optimal control of hybrid systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Constrained linear quadratic deterministic mean field control: Decentralized convergence to Nash equilibria in large populations of heterogeneous agents.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A stochastic optimization approach to cooperative building energy management via an energy hub.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Balancing bike sharing systems through customer cooperation - a case study on London's Barclays Cycle Hire.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Scalable Proactive Event-Driven Decision Making.
IEEE Technol. Soc. Mag., 2014

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Autom. Control., 2014

On the Road Between Robust Optimization and the Scenario Approach for Chance Constrained Optimization Problems.
IEEE Trans. Autom. Control., 2014

On the connection between compression learning and scenario based optimization.
CoRR, 2014

On the computational complexity and generalization properties of multi-stage and recursive scenario programs.
CoRR, 2014

A numerical approach to stochastic reach-avoid problems for Markov Decision Processes.
CoRR, 2014

Decentralized Convergence to Nash Equilibria in Constrained Mean Field Control.
CoRR, 2014

Stochastic optimal power flow based on convex approximations of chance constraints.
Proceedings of the 2014 Power Systems Computation Conference, 2014

Capacity approximation of memoryless channels with countable output alphabets.
Proceedings of the 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29, 2014

Efficient approximation of discrete memoryless channel capacities.
Proceedings of the 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29, 2014

Grey-box techniques for the identification of a controlled gene expression model.
Proceedings of the 13th European Control Conference, 2014

Model based power optimisation of wind farms.
Proceedings of the 13th European Control Conference, 2014

Near-optimal selection of parallel inputs in Bayesian experimental design for systems biology.
Proceedings of the 13th European Control Conference, 2014

Model-based current limiting for traction control of an electric four-wheel drive race car.
Proceedings of the 13th European Control Conference, 2014

Selling robustness margins: A framework for optimizing reserve capacities for linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Approximation of constrained average cost Marks.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

On the reachable set of the controlled gene expression system.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Mean field constrained charging policy for large populations of Plug-in Electric Vehicles.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A compression learning perspective to scenario based optimization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Submodularity of energy related controllability metrics.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Experimental design for system identification of Boolean Control Networks in biology.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A scenario approach to non-convex control design: Preliminary probabilistic guarantees.
Proceedings of the American Control Conference, 2014

Asymptotic capacity of a random channel.
Proceedings of the 52nd Annual Allerton Conference on Communication, 2014

2013
Nanopositioning With Impulsive State Multiplication: A Hybrid Control Approach.
IEEE Trans. Control. Syst. Technol., 2013

Toward 4-D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis.
IEEE Trans. Control. Syst. Technol., 2013

On Mean-Square Boundedness of Stochastic Linear Systems With Quantized Observations.
IEEE Trans. Autom. Control., 2013

Isospectral flows on a class of finite-dimensional Jacobi matrices.
Syst. Control. Lett., 2013

Stability and performance of stochastic predictive control
CoRR, 2013

Optimal Sensor and Actuator Placement in Complex Dynamical Networks.
CoRR, 2013

Stochastic system controller synthesis for reachability specifications encoded by random sets.
Autom., 2013

A stochastic games framework for verification and control of discrete time stochastic hybrid systems.
Autom., 2013

Reserve requirements in AC power systems with uncertain generation.
Proceedings of the 4th IEEE PES Innovative Smart Grid Technologies Europe, 2013

Control design for specifications on stochastic hybrid systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Symbolic models for stochastic control systems without stability assumptions.
Proceedings of the 12th European Control Conference, 2013

Synthesis of an asynchronous communication protocol for search and rescue robots.
Proceedings of the 12th European Control Conference, 2013

Approximate dynamic programming via sum of squares programming.
Proceedings of the 12th European Control Conference, 2013

Energy arbitrage with thermostatically controlled loads.
Proceedings of the 12th European Control Conference, 2013

Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates.
Proceedings of the 12th European Control Conference, 2013

Message from the international program committee chair.
Proceedings of the 12th European Control Conference, 2013

Approximate dynamic programming for stochastic reachability.
Proceedings of the 12th European Control Conference, 2013

Stochastic localization of sources with convergence guarantees.
Proceedings of the 12th European Control Conference, 2013

Every continuous piecewise affine function can be obtained by solving a parametric linear program.
Proceedings of the 12th European Control Conference, 2013

On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design in Stochastic Biochemical Reaction Networks.
Proceedings of the Computational Methods in Systems Biology, 2013

Stochastic Model Predictive Control using a combination of randomized and robust optimization.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Bisimilar finite abstractions of stochastic control systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A stochastic reachability approach to emergency building evacuation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Fault detection with discrete-time measurements: An application for the cyber security of power networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Identifying stochastic biochemical networks from single-cell population experiments: A comparison of approaches based on the Fisher information.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Chance-constrained LQG with bounded control policies.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Approximating the solution of the chemical master equation by combining finite state projection and stochastic simulation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A robust fault detection and isolation filter for a horizontal axis variable speed wind turbine.
Proceedings of the American Control Conference, 2013

Adaptively constrained Stochastic Model Predictive Control for closed-loop constraint satisfaction.
Proceedings of the American Control Conference, 2013

2012
Stable Networked Control Systems With Bounded Control Authority.
IEEE Trans. Autom. Control., 2012

On mean square boundedness of stochastic linear systems with bounded controls.
Syst. Control. Lett., 2012

Motion Planning via Optimal Control for Stochastic Processes
CoRR, 2012

Stochastic receding horizon control with output feedback and bounded controls.
Autom., 2012

Proceedings of the IEEE PES Innovative Smart Grid Technologies Conference, 2012

Design of importance-map based randomized patrolling strategies.
Proceedings of the Complexity in Engineering, 2012

A dual-stage nanopositioning approach to high-speed scanning probe microscopy.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Multi-objective optimal control of stochastic hybrid systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A randomized approach to Stochastic Model Predictive Control.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A tractable nonlinear fault detection and isolation technique with application to the cyber-physical security of power systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Optimal scan trajectories for high-speed scanning probe microscopy.
Proceedings of the American Control Conference, 2012

Stochastic localization of sources using autonomous underwater vehicles.
Proceedings of the American Control Conference, 2012

Distributed model predictive consensus via the Alternating Direction Method of Multipliers.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

Hybrid Modelling and Reachability on Autonomous RC-Cars.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

Revisiting the Viability Algorithm for Hybrid Systems Using Optimal Control.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
A Multiresolution Approximation Method for Fast Explicit Model Predictive Control.
IEEE Trans. Autom. Control., 2011

Hamilton-Jacobi Formulation for Reach-Avoid Differential Games.
IEEE Trans. Autom. Control., 2011

Stochastic Receding Horizon Control With Bounded Control Inputs: A Vector Space Approach.
IEEE Trans. Autom. Control., 2011

Modeling and analysis of DNA replication.
Autom., 2011

Convexity and convex approximations of discrete-time stochastic control problems with constraints.
Autom., 2011

Impulsive control for nanopositioning: stability and performance.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

A stochastic reach-avoid problem with random obstacles.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Probabilistic certification of pan-tilt-zoom camera surveillance systems.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Efficient stochastic simulation of metastable Markov chains.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

On a problem of stochastic reach-avoid set characterization.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Nonlinear control of wind turbines: An approach based on switched linear systems and feedback linearization.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Attaining Mean Square Boundedness of a Marginally Stable Stochastic Linear System With a Bounded Control Input.
IEEE Trans. Autom. Control., 2010

Stochastic Optimization on Continuous Domains With Finite-Time Guarantees by Markov Chain Monte Carlo Methods.
IEEE Trans. Autom. Control., 2010

Probabilistic safety and optimal control for survival analysis of Bacillus subtilis.
Syst. Control. Lett., 2010

Stochastic Hybrid Systems: A Powerful Framework for Complex, Large Scale Applications.
Eur. J. Control, 2010

Approximate Model Checking of Stochastic Hybrid Systems.
Eur. J. Control, 2010

Identification of genetic network dynamics with unate structure.
Bioinform., 2010

Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem.
Autom., 2010

On the connections between PCTL and dynamic programming.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Structural identification of unate-like genetic network models from time-lapse protein concentration measurements.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A simulation based MPC technique for feedback linearizable systems with input constraints.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Stochastic receding horizon control with output feedback and bounded control inputs.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A robust policy for Automatic Generation Control cyber attack in two area power network.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Mean-square boundedness of stochastic networked control systems with bounded control inputs.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Cyber attack in a two-area power system: Impact identification using reachability.
Proceedings of the American Control Conference, 2010

2009
Local Identification of Piecewise Deterministic Models of Genetic Networks.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

A two-step approach to aircraft conflict resolution combining optimal deterministic design with Monte Carlo stochastic optimization.
Proceedings of the 10th European Control Conference, 2009

On convexity of stochastic optimization problems with constraints.
Proceedings of the 10th European Control Conference, 2009

A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A viability approach for the stabilization of an underactuated underwater vehicle in the presence of current disturbances.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Air traffic management with target windows: An approach using reachability.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On stochastic receding horizon control with bounded control inputs.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Canalizing structure of genetic network dynamics: modelling and identification via mixed-integer programming.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

On stochastic control up to a hitting time.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Probabilistic regulation in stochastic hybrid systems subject to safety constraints.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Subtilin Production by Bacillus Subtilis: Stochastic Hybrid Models and Parameter Identification.
IEEE Trans. Autom. Control., 2008

Stochastic dynamics of genetic networks: modelling and parameter identification.
Bioinform., 2008

Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems.
Autom., 2008

Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Control of multiple non-holonomic air vehicles under wind uncertainty using Model Predictive Control and decentralized navigation functions.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

On the approximate domain optimization of deterministic and expected value criteria.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Numerical analysis of FRAP experiments for DNA replication and repair.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Parameter Identification for a DNA replication model.
Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, 2008

2007
On the Reachability Problem for Uncertain Hybrid Systems.
IEEE Trans. Autom. Control., 2007

A Component-Based Approach to the Design of Networked Control Systems.
Eur. J. Control, 2007

Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains.
Proceedings of the Advances in Neural Information Processing Systems 20, 2007

Impulse Differential Inclusions Driven by Discrete Measures.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

A Hybrid Model for Subliminal Air Traffic Control.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Detection of aircraft divergence from its flight plan in the vertical plane.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

A general framework for the identification of jump Markov linear systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Parameter identification for stochastic hybrid models of biological interaction networks.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

New insights on stochastic reachability.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Subliminal air traffic control: Human friendly control of a multi-agent system.
Proceedings of the American Control Conference, 2007

2006
Monte Carlo Optimization for Conflict Resolution in Air Traffic Control.
IEEE Trans. Intell. Transp. Syst., 2006

Asymptotic stability and boundedness of delay switching diffusions.
IEEE Trans. Autom. Control., 2006

Reachability analysis of discrete-time systems with disturbances.
IEEE Trans. Autom. Control., 2006

Stochastic Hybrid Delay Population Dynamics.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Robot-Assisted Target Localization using a Cooperative Scheme relying on Wireless Sensor Networks.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

A Neural Approximation to Continuous Time Reachability Computations.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Neural approximation of PDE solutions: An application to reachability computations.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Parameter identification for piecewise Deterministic Markov Processes: a Case Study on a biochemical Network.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
On the exponential stability of switching diffusion processes.
IEEE Trans. Autom. Control., 2005

Stabilization of a class of stochastic differential equations with Markovian switching.
Syst. Control. Lett., 2005

Hybrid Control of Networked Embedded Systems.
Eur. J. Control, 2005

Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Bisimulation for General Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

An Overview of Hybrid Systems Control.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
On reachability and minimum cost optimal control.
Autom., 2004

A Stochastic Hybrid Model for Air Traffic Control Simulation.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003
Dynamical properties of hybrid automata.
IEEE Trans. Autom. Control., 2003

Discussion on: "Switched Integrator Control Schemes for Integrating Plants".
Eur. J. Control, 2003

Approximate Stabilisation of Uncertain Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Reachability Questions in Piecewise Deterministic Markov Processes.
Proceedings of the Hybrid Systems: Computation and Control, 2003

Stochastic Hybrid Models: An Overview.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

Infinite Horizon Minmax Optimal Control: A Viability Approach.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2002
Impulse differential inclusions: a viability approach to hybrid systems.
IEEE Trans. Autom. Control., 2002

2001
Structural stability of hybrid systems<sup>1</sup>.
Proceedings of the 6th European Control Conference, 2001

Towards a viability theory of hybrid systems.
Proceedings of the 6th European Control Conference, 2001

2000
A probabilistic approach to aircraft conflict detection.
IEEE Trans. Intell. Transp. Syst., 2000

A fault tolerant control architecture for automated highway systems.
IEEE Trans. Control. Syst. Technol., 2000

Communication protocols for a fault-tolerant automated highway system.
IEEE Trans. Control. Syst. Technol., 2000

Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Controlled Invariance of Discrete Time Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Towards a Geometric Theory of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Towars a Theory of Stochastic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999
Controllers for reachability specifications for hybrid systems.
Autom., 1999

High-Level Modeling and Analysis of TCAS.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Computing Controllers for Nonlinear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

1998
Capacity Analysis of Traffic Flow Over a Single-Lane Automated Highway System.
J. Intell. Transp. Syst., 1998

Synthesizing Controllers for Nonlinear Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

An Approach to the Verification of the Center-TRACON Automation System.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Strings of Vehicles: Modeling and Safety Conditions.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

1997
A formal approach to fuzzy modeling.
IEEE Trans. Fuzzy Syst., 1997

Multiobjective Hybrid Controller Synthesis.
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Hybrid Control Models of Next Generarion AIr Traffic Management.
Proceedings of the Hybrid Systems IV, 1996

1995
A Game-Theoretic Approach to Hybrid System Design.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Verification of Hybrid Systems: Monotonicity in the AHS Control System.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994
Hierarchical Hybrid Control: A Case Study.
Proceedings of the Hybrid Systems II, 1994