# Publications

AUTHOR | TITLE | JOURNAL/CONFERENCE | YEAR |

(01)Article | |||

J. Warrington, D. Drew, J. Lygeros | Low-dimensional space- and time-coupled power system control policies driven by high-dimensional ensemble weather forecasts | IEEE Control Systems Letters, vol. 2, no. 1, pp. 1-6 | Jan 2018 |

A. Kamoutsi, T. Sutter, P. Mohajerin Esfahani, J. Lygeros | On Infinite Linear Programming and the Moment Approach to Deterministic Infinite Horizon Discounted Optimal Control Problems | IEEE Control Systems Letters, vol. 1, no. 1, pp. 134-139, (arXiv:1703.09005) [OC:03751] | 2017 |

G. Darivianakis, A. Eichler, R. S. Smith, J. Lygeros | A Data-Driven Stochastic Optimization Approach to the Seasonal Storage Energy Management | IEEE Control Systems Letters, vol. 1, no. 2, pp. 394-399, [OC:03751,08814] | 2017 |

P. Beuchat, J. Warrington, J. Lygeros | Point-wise Maximum Approach to Approximate Dynamic Programming | Conference on Decision and Control (CDC), Melbourne, Australia, [OC:03751] | Dec 2017 |

B. Gentile, D. Paccagnan, B. Ogunsola, J. Lygeros | A Novel Concept of Equilibrium Over a Network | IEEE Conference on Decision and Control, [OC:03751] | Dec 2017 |

T. Sutter, A. Kamoutsi, P. Mohajerin Esfahani, J. Lygeros | Data-driven approximate dynamic programming: A linear programming approach | IEEE Conference on Decision and Control, [OC:03751] | Dec 2017 |

F. Rey, P. Hokayem, J. Lygeros | Ask not what ADMM can do for you, ask what you can do for ADMM – Virtual Subsystems in MPC | Conference on Decision and Control (CDC), pp. 4357--4362, [OC:03751] | Dec 2017 |

M. Schmitt, J. Lygeros | An Exact Convex Relaxation of the Freeway Network Control Problem with Controlled Merging Junctions | Submitted to: Transportation Research Part B: Methodological.
Draft available at arXiv:1710.09216 [OC:03751] |
Dec 2017 |

A. Liniger, J. Lygeros | Real-Time Control for Autonomous Racing Based on Viability Theory | IEEE Transactions on Control Systems Technology, Paper is available in early access on IEEExplore. [OC:03751] | Nov 2017 |

F. Rey, Z. Pan, A. Hauswirth, J. Lygeros | Fully Decentralized ADMM for Coordination and Collision Avoidance | under review [OC:03751] | Nov 2017 |

T. Sutter, D. Sutter, J. Lygeros | Capacity of Random Channels with Large Alphabets | Advances in Mathematics of Communications, vol. 11, no. 4, pp. 813 - 835, (arXiv 1503.04108) [OC:03751] | Nov 2017 |

J. Warrington, P. Beuchat, J. Lygeros | Generalized Dual Dynamic Programming for Infinite Horizon Problems in Continuous State and Action Spaces | Under review [OC:03751] | Nov 2017 |

N. Kariotoglou, M. Kamgarpour, T.H. Summers, J. Lygeros | The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes | Journal of Artificial Intelligence Research, vol. 60, no. 284, pp. 263, published |
Oct 2017 |

M. Schmitt, C. Ramesh, J. Lygeros | Sufficient Optimality Conditions for Distributed, Non-Predictive Ramp Metering in the Monotonic Cell Transmission Model | Transportation Research Part B: Methodological, vol. 105, pp. 401 - 422, [OC:03751] | Oct 2017 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Strong Stationarity conditions for Optimal Control of Hybrid Systems | IEEE Transactions on Automatic Control, vol. 62, pp. 4512-4526, [OC:03751] | Sep 2017 |

T. Baltensperger, R. Füchslin, P. Krütli, J. Lygeros | European Union Gas Market Development | vol. 66, pp. 466-479, [OC:03751] | Aug 2017 |

B. Gentile, F. Parise, D. Paccagnan, M. Kamgarpour, J. Lygeros | Nash and Wardrop equilibria in aggregative games with coupling constraints | arXiv PrePrint 1702.08789 [OC:09578,03751] |
Aug 2017 |

F. Rey, X. Zhang, S. Merkli, V. Agliati, M. Kamgarpour, J. Lygeros | Strengthening the Group – Aggregated Frequency Reserve Bidding with ADMM | https://arxiv.org/abs/1711.00320 [OC:09578,03751] |
Aug 2017 |

A. Eichler, G. Darivianakis, J. Lygeros | Humans in the Loop: A Stochastic Predictive Approach to Building Energy Management in the Presence of Unpredictable Users | IFAC World Congress, Toulouse, France, pp. 15036-15041, [OC:03751] | Jul 2017 |

G. Darivianakis, A. Georghiou, A. Eichler, R. S. Smith, J. Lygeros | Scalability through Decentralization: A Robust Control Approach for the Energy Management of a Building Community | IFAC World Congress, Toulouse, France, pp. 14879-14884, [OC:08814,03751] | Jul 2017 |

O. Karaca, G. Darivianakis, P. Beuchat, A. Georghiou, J. Lygeros | The REPOP Toolbox: Tackling Polynomial Optimization Using Relative Entropy Relaxations | 20th IFAC World Congress, Toulouse, France, vol. 50, pp. 11652-11657, [OC:03751] | Jul 2017 |

M. Thély, T. Sutter, P. Mohajerin Esfahani, J. Lygeros | Maximum Entropy Estimation via Gauss-LP Quadratures | IFAC World Congress, [OC:03751] | Jul 2017 |

F. Rey, P. Hokayem, J. Lygeros | A Tailored ADMM Approach for Power Coordination in Variable Speed Drives | 20th IFAC World Congress, pp. 7664-7669, [OC:03751] | Jul 2017 |

F. Rey, P. Hokayem, J. Lygeros | Power Coordination in Variable Speed Drives using Model Predictive Control | 20th IFAC World Congress, pp. 3362-3367, [OC:03751] | Jul 2017 |

P. Beuchat, J. Lygeros | Approximate Dynamic Programming via Penalty Functions | IFAC World Congress, Toulouse, vol. 50, no. 1, pp. 11814--11821, [OC:03751] | Jul 2017 |

G. Burger, D. Paccagnan, B. Gentile, J. Lygeros | Guarantees of convergence to a dynamic user equilibrium for a single arc network | IFAC World Congress, [OC:03751] | Jul 2017 |

A. Liniger, X. Zhang, P. Aeschbach, A. Georghiou, J. Lygeros | Racing Miniature Cars: Enhancing Performance using Randomized MPC and Disturbance Feedback | American Control Conference, Seattle WA, pp. 5642-5647, [OC:03751] | May 2017 |

M. Schmitt, C. Ramesh, P.J. Goulart, J. Lygeros | Convex, Monotone Systems are Optimally Operated at Steady-State | American Control Conference, Seattle, pp. 2662 – 2667, [OC:03751] | May 2017 |

M. Kamgarpour, T. A. Wood, S. Summers, J. Lygeros | Control Synthesis for Stochastic Systems Given Automata Specifications Defined by Stochastic Sets | Automatica, vol. 76, pp. 177-182, [OC:09578,03751] | Feb 2017 |

X. Zhang, M. Kamgarpour, A. Georghiou, P.J. Goulart, J. Lygeros | Robust Optimal Control with Adjustable Uncertainty Sets | Automatica, vol. 75, pp. 249–259, [OC:09578,03751] | Jan 2017 |

P. Mohajerin Esfahani, D. Chatterjee, J. Lygeros | Motion Planning for Continuous Time Stochastic Processes: A Dynamic Programming Approach | IEEE Transactions on Automatic Control, to appear as a full paper, (arXiv:1211.1138)
[OC:03751] |
2016 |

D. Paccagnan, B. Gentile, F. Parise, M. Kamgarpour, J. Lygeros | Distributed computation of generalized Nash equilibria in quadratic aggregative games with affine coupling constraints | IEEE Conference on Decision and Control | Dec 2016 |

F. Rey, D. Frick, A. Domahidi, J.L. Jerez, M. Morari, J. Lygeros | ADMM Prescaling for Model Predictive Control | Conference on Decision and Control (CDC), pp. 3662-3667 | Dec 2016 |

S. Grammatico, F. Parise, M. Colombino, J. Lygeros | Decentralized convergence to Nash equilibria in constrained mean field control | IEEE Transactions on Automatic Control, vol. 61, no. 11, pp. 3315-3329 | Nov 2016 |

N. Kariotoglou, J. Lygeros, K. Margellos | On the computational complexity and generalization properties of multi-stage and recursive scenario programs | Systems and Control Letters, submitted | Aug 2016 |

L. Möller, B. Gentile, F. Parise, S. Grammatico, J. Lygeros | Constrained Deterministic Leader-Follower Mean Field Control | American Control Conference, Boston (USA) | Jul 2016 |

M. Soler, M. Kamgarpour, J. Lloret, J. Lygeros | A Hybrid Optimal Control Approach to Fuel-Efficient Aircraft Conflict Avoidance | IEEE Transactions on Intelligent Transportation Systems, vol. 17(7) | Jul 2016 |

F. Parise, S. Grammatico, B. Gentile, J. Lygeros | Distributed convergence to Nash equilibria in network and average aggregative games | Automatica, vol. submitted, http://arxiv.org/abs/1506.07719
[OC:03715] |
Jul 2016 |

P. Beuchat, A. Georghiou, J. Lygeros | Alleviating tuning sensitivity in Approximate Dynamic Programming | European Control Conference (ECC), [OC:03715] | Jun 2016 |

T. Sutter, J. Lygeros | Signals and Systems II: A flipped classroom experiment in undergraduate control education | ASME Control and Dynamics Magazine | Jun 2016 |

J. Carrau, A. Liniger, X. Zhang, J. Lygeros | Efficient Implementation of Randomized MPC for Miniature Race Cars | European Control Conference (ECC), Aalborg, Denmark | Jun 2016 |

C. Ramesh, M. Schmitt, J. Lygeros | Distributed Learning in the Presence of Disturbances | European Control Conference (ECC), pp. 257-262 | Jun 2016 |

B. Flamm, Paolo Gabrielli, A. Eichler, Matteo Gazzani, J. Lygeros, M. Mazzotti | Modeling for Optimal Operation of PEM Fuel Cells and Electrolyzers | International Conference on Environment and Electrical Engineering, Florence, Italy | Jun 2016 |

D. Paccagnan, M. Kamgarpour, J. Lygeros | On Aggregative and Mean Field Games with Applications to Electricity Markets | European Control Conference (ECC) | Jun 2016 |

D. Drzajic, N. Kariotoglou, M. Kamgarpour, J. Lygeros | A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems | HSCC (Hybrid Systems: Computation and Control ), Proceedings of the Applied Reachability Workshop. | Apr 2016 |

S. Grammatico, X. Zhang, K. Margellos, P.J. Goulart, J. Lygeros | A scenario approach for non-convex control design | IEEE Transactions on Automatic Control, vol. 61, no. 2, pp. 334-345, [OC:03751] | Feb 2016 |

P. Mohajerin Esfahani, J. Lygeros | A Tractable Fault Detection and Isolation Approach for Nonlinear Systems with Probabilistic Performance | IEEE Transactions on Automatic Control, to appear as a full paper, (arXiv:1408.1767) | 2015 |

T.H. Summers, I. Shames, J. Lygeros, F. Dörfler | Topology Design for Optimal Network Coherence | European Control Conference (ECC), Note: Available at http://arxiv.org/abs/1411.4884 | 2015 |

G. Darivianakis, A. Georghiou, R. S. Smith, J. Lygeros | A Stochastic Optimization Approach to Cooperative Building Energy Management via an Energy Hub | IEEE Conference on Decision and Control, Osaka, Japan, pp. 7814 - 7819 | Dec 2015 |

S. Grammatico, F. Parise, J. Lygeros | Constrained linear quadratic deterministic mean field control: Decentralized convergence to Nash equilibria in large populations of heterogeneous agents | IEEE Conference on Decision and Control | Dec 2015 |

A.B. Hempel, P.J. Goulart, J. Lygeros | A Necessary Optimality Condition for Constrained Optimal Control of Hybrid Systems | IEEE Conference on Decision and Control, Osaka, JP, pp. 5272-5277 | Dec 2015 |

F. Parise, M.E. Valcher, J. Lygeros | On the use of hyperplane methods to compute the reachable set of controlled stochastic biochemical reaction networks | IEEE Conference on Decision and Control | Dec 2015 |

P. Aeschbach, X. Zhang, A. Georghiou, J. Lygeros | Balancing Bike Sharing Systems through Customer Cooperation – A Case Study on London's Barclays Cycle Hire | IEEE Conference on Decision and Control, Osaka, Japan | Dec 2015 |

X. Zhang, A. Georghiou, J. Lygeros | Convex Approximation of Chance-Constrained MPC through Piecewise Affine Policies using Randomized and Robust Optimization | IEEE Conference on Decision and Control, Osaka, Japan | Dec 2015 |

F. Parise, B. Gentile, S. Grammatico, J. Lygeros | Network aggregative games: Distributed convergence to Nash equilibria | IEEE Conference on Decision and Control | Dec 2015 |

D. Paccagnan, M. Kamgarpour, J. Lygeros | On the Range of Feasible Power Trajectories for a Population of Thermostatically Controlled Loads | IEEE Conference on Decision and Control | Dec 2015 |

T.H. Summers, J. Warrington, M. Morari, J. Lygeros | Stochastic optimal power flow based on conditional value at risk and distributional robustness | International Journal of Electrical Power and Energy Systems, vol. 72, pp. 116-125 | Nov 2015 |

X. Zhang, S. Grammatico, G. Schildbach, P.J. Goulart, J. Lygeros | On the sample size of random convex programs with structured dependence on the uncertainty | Automatica, vol. 60, pp. 182-188, dx.doi.org/10.1016/j.automatica.2015.07.013 | Oct 2015 |

P. Mohajerin Esfahani, D. Chatterjee, J. Lygeros | On stochastic reach-avoid problem and set characterization for diffusions | Automatica, accepted for publication (arXiv:1202.4375) | Oct 2015 |

X. Zhang, E. Vrettos, M. Kamgarpour, G. Andersson, J. Lygeros | Stochastic Frequency Reserve Provision by Chance-Constrained Control of Commercial Buildings | European Control Conference (ECC), Linz, Austria | Jul 2015 |

A. Hauswirth, T.H. Summers, J. Warrington, J. Lygeros | A Modular AC Optimal Power Flow Implementation for Distribution Grid Planning | IEEE Powertech, Power System Technology, Eindhoven, NL, pp. 6 | Jul 2015 |

M. Schmitt, P.J. Goulart, A. Georghiou, J. Lygeros | Flow-Maximizing Equilibria of the Cell Transmission Model | European Control Conference (ECC), pp. 2634--2639 | Jun 2015 |

F. Parise, J. Lygeros, J. Ruess | Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study | Frontiers in Environmental Science | Jun 2015 |

J. Ruess, F. Parise, A. Milias, M. Khammash, J. Lygeros | Iterative experiment design guides the characterization of a light-inducible gene expression circuit | Proceedings of the National Academy of Sciences | Jun 2015 |

F. Parise, S. Grammatico, M. Colombino, J. Lygeros | On Constrained Mean Field Control for Large Populations of Heterogeneous Agents: Decentralized Convergence to Nash Equilibria | European Control Conference (ECC), pp. 3316-3321 | Jun 2015 |

S. Grammatico, B. Gentile, F. Parise, J. Lygeros | A mean field control approach for demand side management of large populations of thermostatically controlled loads | European Control Conference (ECC) | Jun 2015 |

T. Sutter, D. Sutter, P. Mohajerin Esfahani, J. Lygeros | Efficient Approximation of Channel Capacities | IEEE Transactions on Information Theory, vol. 61, no. 4, (arXiv:1407.7629) | Apr 2015 |

A. Liniger, J. Lygeros | A Viability Approach for Fast Recursive Feasible Finite Horizon Path Planning of Autonomous RC Cars | HSCC (Hybrid Systems: Computation and Control ), Seattle, WA, USA, pp. 1 - 10 | Apr 2015 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Inverse Parametric Optimization with an Application to Hybrid System Control | IEEE Transactions on Automatic Control, vol. 60, no. 4, pp. 1064-1069 | Apr 2015 |

B. Gentile, S. Grammatico, J. Lygeros | Mean field modeling of large-scale energy systems | MATHMOD Conference, Wien | Feb 2015 |

P. Mohajerin Esfahani, T. Sutter, J. Lygeros | Performance Bounds for the Scenario Approach and an Extension to a Class of Non-convex Programs | IEEE Transactions on Automatic Control, vol. 60, no. 1, (arXiv:1307.0345) | Jan 2015 |

M. Soler, M. Kamgarpour, J. Lygeros | A hybrid optimal control approach to fuel efficient aircraft conflict avoidance | IEEE Transactions on Intelligent Transportation Systems | 2014 |

J. Mathieu, M. Kamgarpour, J. Lygeros, G. Andersson, D. Callaway | Arbitraging Intraday Wholesale Energy Market Prices with Aggregations of Thermostatic Loads | IEEE Transactions on Power Systems | 2014 |

K. Margellos, P.J. Goulart, J. Lygeros | On the road between robust optimization and the scenario approach for chance constrained optimization problems | IEEE Transactions on Automatic Control, to appear | 2014 |

F. Parise, M.E. Valcher, J. Lygeros | On the Reachable Set of the Controlled Gene Expression System | IEEE Conference on Decision and Control, Los Angeles, California, USA | Dec 2014 |

A.G. Busetto, J. Lygeros | Experimental design for system identication of boolean control networks in biology | IEEE Conference on Decision and Control, Los Angeles, CA, USA, Dec 15-17, 2014 | Dec 2014 |

F. Parise, M. Colombino, S. Grammatico, J. Lygeros | Mean field constrained charging policy for large populations of plug-in electric vehicles | IEEE Conference on Decision and Control, Los Angeles, California, USA | Dec 2014 |

J. Ruess, J. Lygeros | Moment-based methods for parameter inference and experiment design for biochemical reaction networks | ACM Transactions on Modeling and Computer Simulation | Dec 2014 |

M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, J. Lygeros | Symbolic control of stochastic systems via approximately bisimilar finite abstractions | IEEE Transactions on Automatic Control, vol. 59, no. 12, pp. 3135-3150, (arXiv:1302.3868) | Dec 2014 |

F. Cortesi, T.H. Summers, J. Lygeros | Submodularity of Energy Related Controllability Metrics | IEEE Conference on Decision and Control, Los Angeles | Dec 2014 |

K. Margellos, M. Prandini, J. Lygeros | A compression learning perspective to scenario based optimization | IEEE Conference on Decision and Control, Los Angeles, CA, USA, Dec 15-17, 2014 | Dec 2014 |

X. Zhang, M. Kamgarpour, P.J. Goulart, J. Lygeros | Selling Robustness Margins: A Framework for Optimizing Reserve Capacities for Linear Systems | IEEE Conference on Decision and Control, Los Angeles, California, USA | Dec 2014 |

T. Sutter, P. Mohajerin Esfahani, J. Lygeros | Approximation of Constrained Average Cost Markov Control Processes | IEEE Conference on Decision and Control, Los Angeles, USA | Dec 2014 |

T. Sutter, D. Sutter, J. Lygeros | Asymptotic Capacity of a Random Channel | Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA | Oct 2014 |

P.J. Goulart, J. Lygeros, A. Artikis, C. Baber, P. Bizarro, C. Canudas-de-Wit, O. Etzion, A. Howes, G. Paliouras, A. Schuster, F. Fournier, I. Sharfman | Scalable Proactive Event-Driven Decision Making | IEEE technology & society magazine, vol. 33, no. 3, pp. 35-41 | Sep 2014 |

T.H. Summers, J. Lygeros | Optimal Sensor and Actuator Placement in Complex Dynamical Networks | IFAC World Congress | Aug 2014 |

S. M. Huck, N. Kariotoglou, M. Dahinden, J. Lygeros | Experimental Validation of Patrolling Strategies in an Automated Surveillance Environment | IFAC World Congress on Automatic Control, Cape Town, South Africa | Aug 2014 |

X. Zhang, S. Grammatico, K. Margellos, P.J. Goulart, J. Lygeros | Randomized nonlinear MPC for uncertain control-affine systems with bounded closed-loop constraint violations | IFAC World Congress, Cape Town, South Africa | Aug 2014 |

T.H. Summers, J. Warrington, M. Morari, J. Lygeros | Stochastic optimal power flow based on convex approximations of chance constraints | Power Systems Computation Conference, Wroclaw, Poland | Aug 2014 |

T. Sutter, P. Mohajerin Esfahani, D. Sutter, J. Lygeros | Capacity Approximation of Memoryless Channels with Countable Output Alphabets | IEEE International Symposium on Information Theory, Honolulu, Hawaii, USA | Jul 2014 |

D. Sutter, P. Mohajerin Esfahani, T. Sutter, J. Lygeros | Efficient Approximation of Discrete Memoryless Channel Capacities | IEEE International Symposium on Information Theory, Honolulu, Hawaii, USA | Jul 2014 |

J. Lygeros, W. Haeberle, A. Pantazi, H. Rothuizen, A. Sebastian, T. Tuma | Dual-stage nanopositioning for high-speed scanning probe microscopy | IEEE/ASME Transactions on Mechatronics, vol. 19, pp. 1035-1045 | Jun 2014 |

Flavio Heer, P. Mohajerin Esfahani, M. Kamgarpour, J. Lygeros | Model Based Power Optimisation of Wind Farms | European Control Conference (ECC) | Jun 2014 |

X. Zhang, S. Grammatico, G. Schildbach, P.J. Goulart, J. Lygeros | On the sample size of randomized MPC for chance-constrained systems with application to building climate control | European Control Conference (ECC), Strasbourg, France, pp. 478-483 | Jun 2014 |

S. Grammatico, X. Zhang, K. Margellos, P.J. Goulart, J. Lygeros | A scenario approach to non-convex control design: preliminary probabilistic guarantees | American Control Conference, Portland, Oregon, USA, pp. 3431-3436 | Jun 2014 |

S. M. Huck, Marvin Rüppel, T.H. Summers, J. Lygeros | RCopterX - Experimental Validation of a Distributed Leader-Follower MPC Approach on a Miniature Helicopter Test Bed | European Control Conference (ECC), Strasbourg, France | Jun 2014 |

A.G. Busetto, J. Lygeros | Near-optimal Selection of Parallel Inputs in Bayesian Experimental Design for Systems Biology | European Control Conference (ECC), Strasbourg France, June 24-27, 2014 | Jun 2014 |

Daniel Bohl, N. Kariotoglou, A.B. Hempel, P.J. Goulart, J. Lygeros | Model-Based Current Limiting for Traction Control of an Electric Four-Wheel Drive Race Car | European Control Conference (ECC), Strasbourg, France, pp. 1981-1986 | Jun 2014 |

F. Parise, J. Ruess, J. Lygeros | Grey-box techniques for the identification of a controlled gene expression model | European Control Conference (ECC), Strasbourg, France | Jun 2014 |

M. Soler, M. Kamgarpour, J. Lygeros | A Numerical Framework and Benchmark Case study for Muti-modal Fuel Efficient Aircraft Conflict Avoidance | International Conference on Research in Air Transportation (ICRAT) | May 2014 |

T.H. Summers, F. Cortesi, J. Lygeros | On Submodularity and Controllability in Complex Dynamical Networks | IEEE Transactions on Control of Network Systems, (submitted) | Apr 2014 |

E. Vrettos, X. Zhang, F. Oldewurtel, M. Kamgarpour, J. Lygeros, G. Andersson | Exploring the Potential of Buildings in the Swiss Ancillary Service Market | COLEB - Computational Optimisation of Low-Energy Buildings, Zurich, Switzerland | Mar 2014 |

N. Kariotoglou, D. M. Raimondo, S. Summers, J. Lygeros | Multi-agent autonomous surveillance: a framework based on stochastic reachability and hierarchical task allocation | ASME J. Dynamic Systems, Measurement & Control, Special Issue on Stochastic Models, Control, and Algorithms in Robotics | Mar 2014 |

M. Kamgarpour, E. Vrettos, J. Lygeros, G. Andersson | Population of Thermostatically Controlled Loads for the Swiss Ancillary Service Market | COLEB - Computational Optimisation of Low-Energy Buildings | Mar 2014 |

A. Hjartarson, J. Ruess, J. Lygeros | Approximating the solution of the chemical master equation by combining finite state projection and stochastic simulation | IEEE Conference on Decision and Control, Florence, Italy, pp. 751-756 | Dec 2013 |

M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, J. Lygeros | Bisimilar finite abstractions of stochastic control systems | Conference on Decision and Control (CDC), Florence, Italy | Dec 2013 |

X. Zhang, K. Margellos, P.J. Goulart, J. Lygeros | Stochastic Model Predictive Control Using a Combination of Randomized and Robust Optimization | IEEE Conference on Decision and Control, Florence, Italy, pp. 7740 - 7745 | Dec 2013 |

J. Ruess, J. Lygeros | Identifying stochastic biochemical networks from single-cell population experiments: a comparison of approaches based on the Fisher information | IEEE Conference on Decision and Control, Florence, Italy | Dec 2013 |

P. Hokayem, D. Chatterjee, J. Lygeros | Chance-constrained LQG with bounded contr ol policies | IEEE Conference on Decision and Control, Florence, Italy, pp. 2471-2476 | Dec 2013 |

E. Tiniou, P. Mohajerin Esfahani, J. Lygeros | Fault detection with discrete-time measurements: An application for the cyber security of power networks | IEEE Conference on Decision and Control, Florence, Italy | Dec 2013 |

T. Tuma, A. Sebastian, J. Lygeros, A. Pantazi | The four pillars of nanopositioning for scanning probe microscopy | IEEE Control Systems Magazine, vol. 33, pp. 68-85 | Dec 2013 |

T. A. Wood, S. Summers, J. Lygeros | A Stochastic Reachability Approach to Emergency Building Evacuation | IEEE Conference on Decision and Control, Florence, Italy, pp. 5722-5727 | Dec 2013 |

M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | A Probabilistic Framework for Reserve Scheduling and N-1 Security Assessment of Systems With High Wind Power Penetration | IEEE Transactions on Power Systems, vol. 28, no. 4, pp. 3885 - 3896 | Nov 2013 |

K. Margellos, J. Lygeros | Viable set computation for hybrid systems | Nonlinear Analysis: Hybrid Systems, vol. 10, pp. 45-62 | Nov 2013 |

V. Rostampour, K. Margellos, M. Vrakopoulou, M. Prandini, G. Andersson, J. Lygeros | Reserve Requirements in AC Power Systems with Uncertain Generation | IEEE PES Innovative Smart Grid Technologies Europe, Copenhagen, Denmark, pp. 1-5 | Oct 2013 |

T. Haring, G. Andersson, J. Lygeros | Welfare assessment of decentralized pricing of operating reserves | IEEE PES Innovative Smart Grid Technologies Europe, Lyngby, Denmark | Oct 2013 |

K. Margellos, J. Lygeros | Toward 4D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis | IEEE Transactions on Control Systems Technology, vol. 21, no. 5, pp. 1820-1833 | Sep 2013 |

J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros, C. J. Tomlin | A Stochastic Games Framework for Verification and Control of Discrete Time Stochastic Hybrid Systems | Automatica, vol. 49, no. 9, pp. 2665–2674 | Sep 2013 |

M. Kamgarpour, Christian Ellen, Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, J. Mathieu, Nills Müllner, A. Abate, D. Callaway, Martin Fränzle, J. Lygeros | Modeling Options for Demand Side Participation of Thermostatically Controlled Loads | IREP Bulk Power System Dynamics & Control Symposium | Aug 2013 |

J. Ruess, A. Milias, J. Lygeros | Designing experiments to understand the variability in biochemical reaction networks | Journal of the Royal Society Interface, vol. 10, no. 88, pp. 20130588 | Aug 2013 |

D. Chatterjee, P. Hokayem, F. Ramponi, J. Lygeros | On mean-square boundedness of stochastic linear systems with quantized observations | IEEE Transactions on Automatic Control, vol. 58, pp. 2082-2085 | Aug 2013 |

S. Summers, M. Kamgarpour, C. J. Tomlin, J. Lygeros | Stochastic system controller synthesis for reachability specifications encoded by random sets | Automatica | Jul 2013 |

S. M. Huck, J. Lygeros | Stochastic localization of sources with convergence guarantees | European Control Conference (ECC), Zurich, Switzerland, pp. 602-607, July 17-19_2013 | Jul 2013 |

J. Lygeros, F. Ramponi, Cl. Wiltsche | Synthesis of an asynchronous communication protocol for search and rescue robots | European Control Conference (ECC), Zurich, Switzerland, pp. 1256-1261, July 17-19, 2013 | Jul 2013 |

J. Mathieu, M. Kamgarpour, J. Lygeros, D. Callaway | Energy Arbitrage with Thermostatically Controlled Loads | European Control Conference (ECC), pp. 303-312 | Jul 2013 |

M. Zamani, P. Mohajerin Esfahani, A. Abate, J. Lygeros | Symbolic Models for Stochastic Control Systems without Stability Assumptions | European Control Conference (ECC), Zurich, Switzerland | Jul 2013 |

N. Kariotoglou, S. Summers, T.H. Summers, M. Kamgarpour, J. Lygeros | Approximate dynamic programming for stochastic reachability | European Control Conference (ECC), Zurich, Switzerland, pp. 584-589, July 17-19, 2013 | Jul 2013 |

K. Margellos, V. Rostampour, M. Vrakopoulou, M. Prandini, G. Andersson, J. Lygeros | Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates | European Control Conference (ECC), Zurich, Switzerland, July 17-19, 2013 | Jul 2013 |

T.H. Summers, Konstantin Kunz, N. Kariotoglou, M. Kamgarpour, S. Summers, J. Lygeros | Approximate Dynamic Programming via Sum of Squares Programming | European Control Conference (ECC), Zurich, Switzerland, pp. 191-197, July 17-19, 2013 | Jul 2013 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Every Continuous Piecewise Affine Function Can Be Obtained by Solving a Parametric Linear Program | European Control Conference (ECC), Zurich, Switzerland, pp. 2657-2662 | Jul 2013 |

J. Lygeros, A. Pantazi, A. Sebastian, T. Tuma | Nanopositioning with impulsive state multiplication: A hybrid control approach | IEEE Transactions on Control Systems Technology, vol. 21, pp. 1352-1364 | Jul 2013 |

B. Svetozarevic, P. Mohajerin Esfahani, M. Kamgarpour, J. Lygeros | A Robust Fault Detection and Isolation Filter for a Horizontal Axis Variable Speed Wind Turbine | American Control Conference, Washington, DC, USA | Jun 2013 |

M. Vrakopoulou, M. Katsampani, K. Margellos, J. Lygeros, G. Andersson | Probabilistic security-constrained AC optimal power flow | IEEE PowerTech Conference, Grenoble, France | Jun 2013 |

F. Oldewurtel, D. Sturzenegger, P. Mohajerin Esfahani, G. Andersson, M. Morari, J. Lygeros | Adaptively Constrained Stochastic Model Predictive Control for Closed-Loop Constraint Satisfaction | American Control Conference, Washington, DC, USA | Jun 2013 |

J. Lygeros, A. Milias | Steady-state simulation of metastable stochastic chemical systems | The Journal of Chemical Physics, no. 138, pp. 12 | May 2013 |

T. Sutter, D. Chatterjee, F. Ramponi, J. Lygeros | Isospectral flows on a class of finite-dimensional Jacobi matrices | Systems and Control Letters, vol. 62, no. 5, pp. 388-394, Also available at: http://arxiv.org/abs/1202.1618 | May 2013 |

T. Tuma, J. Lygeros, A. Sebastian, A. Pantazi | Analysis and design of multiresolution scan trajectories for high-speed scanning probe microscopy | IFAC Symposium on Mechatronic Systems, Hangzhou, China, pp. 138-144 | Apr 2013 |

J. Lygeros, W. Haeberle, A. Pantazi, A. Sebastian, T. Tuma | A high-speed electromagnetically-actuated scanner for dual-stage nanopositioning | IFAC Symposium on Mechatronic Systems, Hangzhou, China, pp. 125-130 | Apr 2013 |

M. Kamgarpour, S. Summers, J. Lygeros | Control Design for Property Specifications on Stochastic Hybrid Systems | Hybrid Systems: Computation and Control, pp. 303-312 | Apr 2013 |

T. Tuma, W. Haeberle, H. Rothuizen, J. Lygeros, A. Pantazi, A. Sebastian | Dual-stage nanopositioning for high-speed scanning probe microscopy | Conference on Decision and Control (CDC), Maui, Hawaii, USA (Dec 10-13, 2012), pp. 5079-5084 | Jan 2013 |

S. Summers, J. Lygeros | Multi-objective optimal control of stochastic hybrid systems | Conference on Decision and Control (CDC), Hawaii, USA | Dec 2012 |

P. Mohajerin Esfahani, M. Vrakopoulou, G. Andersson, J. Lygeros | A Tractable Nonlinear Fault Detection and Isolation Technique with Application to the Cyber-Physical Security of Power Systems | Conference on Decision and Control (CDC), Maui, Hawaii, USA | Dec 2012 |

P. Hokayem, D. Chatterjee, F. Ramponi, J. Lygeros | Stable Networked Control Systems With Bounded Control Authority | IEEE Transactions on Automatic Control, vol. 57, no. 12, pp. 3153-3157 | Dec 2012 |

M. Prandini, Garatti, S., J. Lygeros | A Randomized Approach to Stochastic Model Predictive Control | IEEE Conference on Decision and Control, Maui, Hawaii, USA | Dec 2012 |

J. Lygeros, W. Haeberle, A. Pantazi, H. Rothuizen, A. Sebastian, T. Tuma | A dual-stage nano-positioning approach to high-speed scanning probe microscopy | IEEE Conference on Decision and Control, Maui, Hawaii, USA, pp. 5079-5084 | Dec 2012 |

T.H. Summers, J. Lygeros | Distributed Model Predictive Consensus via the Alternating Direction Method of Multipliers | Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA | Oct 2012 |

M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | A probabilistic framework for security constrained reserve scheduling of networks with wind power generation | IEEE Conference on Energy and Exhibition (ENERGYCON), Florence, Italy | Sep 2012 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Inverse Parametric Quadratic Programming and an Application to Hybrid Control | Nonlinear Model Predictive Control, Noordwijkerhout, NL, pp. 68-73 | Aug 2012 |

J. Lygeros, N. T. Shamsuddhin, Michel Despont, H. Rothuizen, A. Sebastian | Micro-cantilever design and modeling framework for quantitative multi-frequency AFM | IEEE NANO 2012, 12th IEEE Conference on Nanotechnology | Aug 2012 |

K. Margellos, T. Haring, P. Hokayem, M. Schubiger, J. Lygeros, G. Andersson | A robust reserve scheduling technique for power systems with high wind penetration | Probabilistic Methods Applied to Power Systems (PMAPS), Istanbul, Turkey | Jun 2012 |

T. A. Wood, P. Mohajerin Esfahani, J. Lygeros | Hybrid Modelling and Reachability on Autonomous RC-Cars | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands, pp. 430-435 | Jun 2012 |

M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | Probabilistic guarantees for the N-1 security of systems with wind power generation | Probabilistic Methods Applied to Power Systems (PMAPS), Istanbul, Turkey | Jun 2012 |

S. M. Huck, N. Kariotoglou, D. M. Raimondo, S. Summers, J. Lygeros | Design of importance-map based randomized patrolling strategies | IEEE Workshop on Complexity in Engineering (COMPENG), Aachen, Germany | Jun 2012 |

S. M. Huck, P. Hokayem, D. Chatterjee, J. Lygeros | Stochastic localization of sources using autonomous underwater vehicles | American Control Conference, Montreal, Canada | Jun 2012 |

T. Tuma, J. Lygeros, A. Sebastian, A. Pantazi | Optimal scan trajectories for high-speed scanning probe microscopy | American Control Conference, pp. 3791 - 3796 | Jun 2012 |

K. Margellos, J. Lygeros | Revisiting the Viability Algorithm for Hybrid Systems Using Optimal Control | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands | Jun 2012 |

J. Lygeros, Kartik V., A. Pantazi, A. Sebastian, T. Tuma | High-speed multiresolution scanning probe microscopy based on Lissajous scan trajectories | Nanotechnology, vol. vol. 23, no. 18 | May 2012 |

C. Zechner, J. Ruess, P. Krenn, S. Pelet, M. Peter, J. Lygeros, H. Koeppl | Moment-Based Inference Predicts Bimodality in Transient Gene Expression | PNAS, vol. 109, no. 21, pp. 8340-8345, C. Zechner and J. Ruess contributed equally to this work. | May 2012 |

T. Haring, G. Andersson, J. Lygeros | Evaluating Market Designs in Power Systems with High Wind Penetration | International Conference on the European Energy Market, Florence, Italy | May 2012 |

J. Lygeros, A. Pantazi, A. Sebastian, T. Tuma | Comparison of two non-linear control approaches to fast nanopositioning | Mechatronics, vol. 22, no. 3, pp. 302-309 | Apr 2012 |

N. Kariotoglou, D. M. Raimondo, S. Summers, J. Lygeros | A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras | Conference on Decision and Control (CDC), Orlando, USA, pp. 1411 - 1416, 12-15 Dec | Dec 2011 |

A. Milias, J. Lygeros | Efficient stochastic simulation of metastable Markov chains | IEEE Conference on Decision and Control | Dec 2011 |

R. Burkart, K. Margellos, J. Lygeros | Nonlinear Control of Wind Turbines: An Approach Based on Switched Linear Systems and Feedback Linearization | IEEE Conference on Decision and Control, Orlando, Fl, USA | Dec 2011 |

D. M. Raimondo, N. Kariotoglou, S. Summers, J. Lygeros | Probabilistic certification of pan-tilt-zoom camera surveillance systems | Conference on Decision and Control (CDC), Orlando, USA, pp. 2064 - 2069, 12-15 Dec | Dec 2011 |

M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros, C. J. Tomlin | Discrete Time Stochastic Hybrid Dynamical Games: Verification & Controller Synthesis | Conference on Decision and Control (CDC), pp. 6122-6127 | Dec 2011 |

P. Mohajerin Esfahani, D. Chatterjee, J. Lygeros | On a problem of stochastic reach-avoid set characterization | Conference on Decision and Control (CDC) | Dec 2011 |

A. Milias, S. Summers, J. Stewart-Ornstein, I. Zuleta, D. Pincus, H. El-Samad, M. Khammash, J. Lygeros | In silico feedback for in vivo regulation of a gene expression circuit | Nature Biotechnology, vol. 29, no. 12, pp. 1114–1116, Andreas Milias-Argeitis, Sean Summers, and Jacob Stewart-Ornstein contributed equally to this work. | Dec 2011 |

S. Summers, C.N. Jones, J. Lygeros, M. Morari | A multiresolution approximation method for fast explicit model predictive control | IEEE Transactions on Automatic Control, vol. 56, no. 11, pp. 2530 - 2541 | Nov 2011 |

D. Chatterjee, J. Lygeros, P. Hokayem | Stochastic Receding Horizon Control With Bounded Control Inputs: A Vector Space Approach | IEEE Transactions on Automatic Control, vol. 56, pp. 2704 - 2710 | Nov 2011 |

J. Ruess, A. Milias, S. Summers, J. Lygeros | Moment estimation for chemically reacting systems by extended Kalman filtering | The Journal of Chemical Physics, vol. 135, no. 16, pp. 165102 | Oct 2011 |

S. Summers, M. Kamgarpour, C. J. Tomlin, J. Lygeros | A stochastic reach-avoid decision problem with random sets | HSCC (Hybrid Systems: Computation and Control ) | Sep 2011 |

K. Margellos, J. Lygeros | Hamilton-Jacobi Formulation for Reach-Avoid Differential Games | IEEE Transactions on Automatic Control, vol. 56, no. 8, pp. 1849-1861 | Aug 2011 |

J. Tzanos, K. Margellos, J. Lygeros | Optimal wind turbine placement via randomized optimization techniques | Power Systems Computation Conference (PSCC), Stockholm, Sweden | Aug 2011 |

A. Cherukuri, D. Chatterjee, P. Hokayem, J. Lygeros | Stochastic Receding Horizon Control: Stability Results | IFAC World Congress on Automatic Control, pp. 6 | Aug 2011 |

J. Lygeros, A. Abate, J.-P. Katoen, M. Prandini | A two-step scheme for approximate model checking of stochastic hybrid systems | IFAC World Congress | Aug 2011 |

R. Porreca, E. Cinquemani, J. Lygeros, G. Ferrari-Trecate | Learning the structure of genetic network dynamics: A geometric approach | IFAC World Congress, Milano, pp. 11654-11659 | Aug 2011 |

M. Kamgarpour, M. Soler, C. J. Tomlin, Alberto Olivares, J. Lygeros | Hybrid Optimal Control for Aircraft Trajectory Design with a Variable Sequence of Modes | IFAC World Congress | Aug 2011 |

G. Chaloulos, P. Hokayem, J. Lygeros | Hierarchical Control with Prioritized MPC for Conflict Resolution in Air Traffic Control | IFAC World Congress, Milano, Italy | Aug 2011 |

J. Lygeros, K. Koutroumpas | Modeling and analysis of DNA replication | Automatica, vol. 47, pp. 1156 -1164 | Jun 2011 |

E. Cinquemani, M. Agarwal, D. Chatterjee, J. Lygeros | Convexity and convex approximations of discrete-time stochastic control problems with constraints | Automatica, vol. 47, no. 9, pp. 2082 - 2087 | Jun 2011 |

D. Chatterjee, E. Cinquemani, J. Lygeros | Maximizing the probability of attaining a target prior to extinction | http://dx.doi.org/10.1016/j.nahs.2010.12.003, Nonlinear Analysis: Hybrid Systems, vol. 5, no. 2, pp. 367–381, Also available at http://arxiv.org/abs/0904.4143 | May 2011 |

J. Lygeros, A. Sebastian, W. Haeberle, A. Pantazi, T. Tuma | Impulsive control for fast nanopositioning | Nanotechnology, vol. 22, pp. 624 - 641 | Dec 2010 |

P. Mohajerin Esfahani, M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | A Robust Policy for Automatic Generation Control Cyber Attack in Two Area Power Network | IEEE Conference on Decision and Control, Atlanta, Georgia, USA | Dec 2010 |

A. Milias, R. Porreca, S. Summers, J. Lygeros | Bayesian model selection for the yeast GATA-factor network: a comparison of computational approaches | IEEE Conference on Decision and Control, Atlanta, Georgia, USA | Dec 2010 |

D. Chatterjee, S. Amin, P. Hokayem, J. Lygeros, S. Sastry | Mean-square boundedness of stochastic networked control systems with bounded control inputs | IEEE Conference on Decision and Control, pp. 4759-4764, Available at http://arxiv.org/abs/1004.0793 | Dec 2010 |

G. Chaloulos, E.Cruck, J. Lygeros | A simulation based study of subliminal control for air traffic management | Transportation Research Part C: Emerging Technologies, vol. 18, no. 6, pp. 963-974 | Dec 2010 |

R. Porreca, E. Cinquemani, J. Lygeros, G. Ferrari-Trecate | Structural Identification of Unate-Like Genetic Network Models from Time-Lapse Protein Concentration Measurements | IEEE Conference on Decision and Control, Atlanta, Georgia, USA | Dec 2010 |

S. Summers, J. Lygeros | Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem | Automatica, vol. 46, no. 12, pp. 1951 - 1961 | Dec 2010 |

P. Hokayem, E. Cinquemani, D. Chatterjee, F. Ramponi, J. Lygeros | Stochastic Receding Horizon Control with Output Feedback and Bounded Control Inputs | IEEE Conference on Decision and Control, pp. 6095-6100 | Dec 2010 |

A. Lecchini, J. Lygeros, Jan M. Maciejowski | Stochastic optimization on continuous domains with finite-time guarantees by Markov chain Monte Carlo methods | IEEE Transactions on Automatic Control, vol. 55, pp. 2858-2863 | Dec 2010 |

A. Abate, J.-P. Katoen, J. Lygeros, M. Prandini | Approximate model checking of stochastic hybrid systems | European Journal of Control, vol. 16, pp. 624–641 | Dec 2010 |

K. Margellos, J. Lygeros | A simulation based MPC technique for feedback linearizable systems with input constraints | IEEE Conference on Decision and Control, Atlanta, Georgia, USA | Dec 2010 |

M. Prandini, J. Lygeros | Stochastic hybrid systems: A powerful framework for complex, large scale applications | European Journal of Control, vol. 16, pp. 583–594 | Dec 2010 |

A. Lecchini, J. Lygeros | Air traffic management: Challenges and opportunities for advanced control | International Journal of Adaptive Control and Signal Processing, vol. 24 | Oct 2010 |

I. Lymperopoulos, J. Lygeros | Sequential Monte Carlo methods for multi-aircraft trajectory prediction in air traffic management | International Journal of Adaptive Control and Signal Processing, vol. 24, pp. 830-849 | Oct 2010 |

F. Ramponi, D. Chatterjee, A. Milias, P. Hokayem, J. Lygeros | Attaining mean square boundedness of a marginally stable noisy linear system with a bounded control input | IEEE Transactions on Automatic Control, vol. 55, no. 10, pp. 2414 - 2418, Also available at http://arxiv.org/abs/0907.1436 | Oct 2010 |

F. Tedesco, D. M. Raimondo, A. Casavola, J. Lygeros | Distributed collision avoidance for interacting vehicles: a command governor approach | 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys'10) | Sep 2010 |

D. M. Raimondo, Simone Gasparella, D. Sturzenegger, J. Lygeros, M. Morari | A tracking algorithm for PTZ cameras | 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems (NecSys'10) | Sep 2010 |

P. Hokayem, E. Cinquemani, D. Chatterjee, J. Lygeros | Stochastic MPC with Imperfect State Information and Bounded Controls | UKACC International Conference on Control, Coverntry, UK | Sep 2010 |

S. Summers, D. M. Raimondo, C.N. Jones, J. Lygeros, M. Morari | Fast explicit nonlinear model predictive control via multiresolution function approximation with guaranteed stability | 8th IFAC Symposium on Nonlinear Control Systems (NOLCOS 2010) | Sep 2010 |

P. Hokayem, D. Chatterjee, F. Ramponi, G. Chaloulos, J. Lygeros | Stable stochastic receding horizon control of linear systems with bounded control inputs | Mathematical Theory of Networks and Systems, Budapest, Hungary, vol. 1, pp. 31-36 | Jul 2010 |

G. Chaloulos, P. Hokayem, J. Lygeros | Distributed Hierarchical MPC for Conflict Resolution in Air Traffic Control | American Control Conference, Baltimore, MD, USA | Jun 2010 |

I. Lymperopoulos, G. Chaloulos, J. Lygeros | An advanced particle filtering algorithm for improving conflict detection in Air Traffic Control | International Conference on Research in Air Transportation (ICRAT), Budapest, Hungary | Jun 2010 |

K. Margellos, J. Lygeros | Hamilton-Jacobi formulation for Reach-Avoid Problems with an application to Air Traffic Management | American Control Conference, Baltimore, MD, USA | Jun 2010 |

P. Mohajerin Esfahani, M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | Cyber Attack in a Two-Area Power System: Impact Identification using Reachability | American Control Conference, Baltimore, MD, USA | Jun 2010 |

K. Koutroumpas, J. Lygeros | Modeling and verification of Stochastic Hybrid Systems using HIOA: A case study on DNA replication | Proceedings of the HSCC, 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) accepted | Apr 2010 |

F. Ramponi, D. Chatterjee, S. Summers, J. Lygeros | On the Connections Between PCTL and Dynamic Programming | Stockholm, Sweden, Proceedings of the HSCC, pp. 253-262, 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) presented | Apr 2010 |

R. Porreca, E. Cinquemani, J. Lygeros, G. Ferrari-Trecate | Identification of genetic network dynamics with unate structure | Bioinformatics, vol. 26, no. 9, pp. 1239-1245 | Mar 2010 |

I. Lymperopoulos, J. Lygeros | Improved Multi-Aircraft Ground Trajectory Prediction for Air Traffic Control | AIAA Journal of Guidance, Control, and Dynamics, vol. 33, pp. 347-362 | Mar 2010 |

A. Abate, J. Lygeros, S. Sastry | Probabilistic safety and optimal control for survival analysis of bacillus subtilis | Systems and Control Letters, vol. 59, pp. 79-85 | Jan 2010 |

E. Cinquemani, R. Porreca, J. Lygeros, G. Ferrari-Trecate | Canalizing structure of genetic network dynamics: Modelling and identification via mixed-integer programming | IEEE Conference on Decision and Control, Shangai, China | Dec 2009 |

P. Hokayem, D. Chatterjee, J. Lygeros | On Stochastic Receding Horizon Control with Bounded Control Inputs | IEEE Conference on Decision and Control, pp. 6359-6364, Also available at: http://arxiv.org/abs/0902.3944 | Dec 2009 |

K. Margellos, J. Lygeros | Air Traffic Management with Target Windows: An approach using Reachability | IEEE Conference on Decision and Control, Shanghai, China | Dec 2009 |

D. Chatterjee, E. Cinquemani, G. Chaloulos, J. Lygeros | On Stochastic Control up to a Hitting Time | IEEE Conference on Decision and Control, pp. 531-536 | Dec 2009 |

S. Summers, C.N. Jones, J. Lygeros, M. Morari | A Multiscale Approximation Scheme for Explicit Model Predictive Control with Stability, Feasibility, and Performance Guarantees | IEEE Conference on Decision and Control, Shanghai, China | Dec 2009 |

G. Chaloulos, G. Roussos, J. Lygeros, K. Kyriakopoulos | Mid and Short Term Conflict Resolution in Autonomous Aircraft Operations | EUROCONTROL Innovative Research Workshop & Exhibition | Dec 2009 |

D. Panagou, K. Margellos, S. Summers, J. Lygeros, K. Kyriakopoulos | A Viability Approach for the Stabilization of an Underactuated Underwater Vehicle in the Presence of Current Disturbances | IEEE Conference on Decision and Control, Shanghai, China | Dec 2009 |

D. Chatterjee, E. Cinquemani, J. Lygeros | Probabilistic regulation in stochastic hybrid systems subject to safety constraints | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) | Sep 2009 |

S. Summers, J. Lygeros | A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Zaragoza, Spain | Sep 2009 |

D. M. Raimondo, P. Hokayem, J. Lygeros, M. Morari | An iterative decentralized MPC algorithm for large-scale nonlinear systems | 1st IFAC Workshop on Estimation and Control of Networked Systems (NecSys'09), Venice | Sep 2009 |

I. Lymperopoulos, J. Lygeros | Improved Ground Trajectory Prediction by Multi-Aircraft Track Fusion for Air Traffic Control | AIAA Guidance, Navigation and Control Conference and Exhibit, Chicago, Illinois, no. AIAA-2009-5784 | Aug 2009 |

M. Agarwal, E. Cinquemani, D. Chatterjee, J. Lygeros | On convexity of stochastic optimization problems with constraints | European Control Conference (ECC), Budapest, Hungary, pp. 2827-2832 | Aug 2009 |

M. Prandini, L. Piroddi, J. Lygeros | A two-step approach to aircraft conflict resolution combining optimal deterministic design with monte carlo stochastic optimization | European Control Conference (ECC), Budapest, Hungary, pp. 23-26 | Aug 2009 |

C. Yuan, X. Mao, J. Lygeros | Stochastic hybrid delay population dynamics: Well-posed models and extinction | Journal of Biological Dynamics, vol. 3, pp. 1-21 | Jan 2009 |

A. Lecchini Visintini, J. Lygeros, Jan M. Maciejowski | On the approximate domain optimization of deterministic and expected value criteria | IEEE Conference on Decision and Control, pp. 4933-4938, Cancun, Mexico | Dec 2008 |

G. Roussos, G. Chaloulos, K. Kyriakopoulos, J. Lygeros | Control of Multiple Non-Holonomic Air Vehicles under Wind Uncertainty Using Model Predictive Control and Decentralized Navigation Functions | IEEE Conference on Decision and Control, Cancun, Mexico | Dec 2008 |

A. Abate, M. Prandini, J. Lygeros, S. Sastry | An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems | IEEE Conference on Decision and Control, pp. 4018-4023, Cancun, Mexico | Dec 2008 |

E. Cinquemani, V. Roukos, Z. Lygerou, J. Lygeros | Numerical analysis of FRAP experiments for DNA replication and repair | IEEE Conference on Decision and Control | Dec 2008 |

E. Cinquemani, A. Milias, S. Summers, J. Lygeros | Stochastic dynamics of genetic networks: modelling and parameter identification | Bioinformatics, vol. 24, no. 23, pp. 2748-2754 | Dec 2008 |

A. Abate, M. Prandini, J. Lygeros, S. Sastry | Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems | Automatica, vol. 44, no. 11, pp. 2724-2734 | Nov 2008 |

K. Koutroumpas, Z. Lygerou, J. Lygeros | Parameter Identification for a DNA Replication Model | IEEE International Conference on BioInformatics and BioEngineering, Athens | Oct 2008 |

K. Koutroumpas, E. Cinquemani, P. Kouretas, J. Lygeros | Parameter Identification for Stochastic Hybrid Systems Using Randomized Optimization: A Case Study on Subtilin Production by Bacillus Subtilis | Nonlinear Analysis: Hybrid Systems, vol. 2, no. 3, pp. 786-802 | Aug 2008 |

G. Chaloulos, G. Roussos, J. Lygeros, K. Kyriakopoulos | Ground Assisted Conflict Resolution in Self-Separation Airspace | AIAA Guidance, Navigation and Control Conference and Exhibit, Honolulu, Hawaii | Aug 2008 |

I. Lymperopoulos, J. Lygeros | Adaptive Aircraft Trajectory Prediction using Particle Filters | AIAA Guidance, Navigation and Control Conference and Exhibit | Aug 2008 |

J. Lygeros, K. Koutroumpas, S. Dimopoulos, I. Legouras, Panagiotis Kouretas, Christian Heichinger, Paul Nurse, Z. Lygerou | Stochastic hybrid modeling of DNA replication across a complete genome | PNAS, vol. 105, no. 34, pp. 12295-12300 | Aug 2008 |

J. Lygeros, B. Djeridane | Approximate Viability Using Quasi-Random Samples and a Neural Network Classifier | IFAC World Congress, vol. 17, pp. 14342-14347, vol.17, part I | Jul 2008 |

B. Djeridane, E.Cruck, J. Lygeros | Randomized algorithm: A viability computation | IFAC World Congress, pp. 11548-11553, Seoul Korea | Jul 2008 |

E. Cinquemani, A. Milias, J. Lygeros | Identification of Genetic Regulatory Networks: A Stochastic Hybrid Approach | IFAC World Congress, Seoul, Korea | Jul 2008 |

G. Chaloulos, J. Lygeros | Limitations of Subliminal Control in Air Traffic Management | International Conference on Research in Air Transportation (ICRAT), Fairfax, Virginia | Jun 2008 |

V. Deligiannis, S. Manesis, J. Lygeros | Global automata: A new approachon modelling industrial systems | International Journal of Industrial and Systems Engineering, vol. 3, no. 4, pp. 383-406 | May 2008 |

I. Lymperopoulos, J. Lygeros | Trajectory Prediction by Adaptively Reducing Wind Uncertainty | Application of Advanced Technologies in Transportation, Athens | May 2008 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | Subtilin Production by Bacillus Subtilis: Stochastic Hybrid Models and Parameter Identification | IEEE Trans. on Circuits and Systems-I, Special Issue on Systems Biology | Jan 2008 |

K.E. Arzen, A. Bicchi, G. Dini, S. Hailes, K. H. Johansson, J. Lygeros, A. Tzes | A component-based approach to the design of networked-control systems | European Journal of Control, vol. 13, pp. 261-279 | 2007 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | A general framework for the identification of jump Markov linear systems | IEEE Conference on Decision and Control | Dec 2007 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | Parameter identification for stochastic hybrid models of biological interaction networks | IEEE Conference on Decision and Control | Dec 2007 |

G. Chaloulos, J. Lygeros | Effect of Wind Correlation on Aircraft Conflict Probability | AIAA Journal of Guidance, Control, and Dynamics, vol. 30, no. 6, pp. 1742-1752 | Nov 2007 |

Y. Gao, J. Lygeros, M. Quincampoix | On the Reachability Problem for Uncertain Hybrid Systems | IEEE Transactions on Automatic Control, vol. 52, no. 9, pp. 1572-1586 | Sep 2007 |

K. Koutroumpas, E. Cinquemani, J. Lygeros | Randomized optimization methods in parameter identification for biochemical network models | FOSBE 2007 | Sep 2007 |

E.Cruck, J. Lygeros | A Mathematical Framework for Subliminal Air Traffic Control | AIAA Guidance, Navigation and Control Conference and Exhibit, Hilton Head Island, South Carolina | Aug 2007 |

G. Chaloulos, J. Lygeros | Wind Uncertainty Correlation and Aircraft Conflict Detection based on RUC-1 Forecasts | AIAA Guidance, Navigation and Control Conference and Exhibit, Hilton Head Island, South Carolina | Aug 2007 |

E.Cruck, J. Lygeros | Sense and Avoid System for a MALE UAV | AIAA Guidance, Navigation and Control Conference and Exhibit, Hilton Head Island, South Carolina | Aug 2007 |

B. Djeridane, E.Cruck, J. Lygeros | A Learning theory approach: to the computation of reachable sets | European Control Conference (ECC), July 2-5, Kos, Greece, pp. 2663-2670 | Jul 2007 |

E.Cruck, J. Lygeros | Subliminal air traffic control: Human friendly control of a multi-agent system | American Control Conference | Jul 2007 |

E.Cruck, J. Lygeros | Hybrid modeling for the evaluation of risk perception by air-traffic controllers | European Control Conference (ECC) | Jul 2007 |

A. Panousopoulou, G. Nikolakopoulos, A. Tzes, J. Lygeros | Experimental Evaluation of a mobile ad-hoc networked (MANET) controlled system | Mathematical Theory of Networks and Systems, pp. 2425-2430, MTNS 06 , Kyoto, Japan | 2006 |

A. Lecchini Visintini, W. Glover, J. Lygeros, Jan M. Maciejowski | Monte carlo optimization for conflict resolution in air traffic control | IEEE Transactions on Intelligent Transportation Systems, vol. 7(4), pp. 470-482 | 2006 |

M.L. Bujorianu, J. Lygeros | Toward a general theory of stochastic hybrid systems | Lecture Notes in Control and Information Sciences (LNCIS), vol. 337, pp. 3-30, Chapter in book: Stochastic Hybrid Systems: Theory and Safety Critical Applications - LNCIS nr.337 H.A.P. Blom, J. Lygeros (Eds.) | 2006 |

W. Glover, A. Lecchini Visintini, J. Lygeros, Jan M. Maciejowski | Monte Carlo Optimization for Conflict Resolution in Air Traffic Control | IEEE Transactions on Intelligent Transportation Systems, vol. 7, no. 4, pp. 470-482 | 2006 |

A. Panousopoulou, G. Nikolakopoulos, A. Tzes, J. Lygeros | Recent trends on QoS for wireless networked controlled systems | The Mediterranean Journal of Computers and Networks, vol. 2, no. 1, pp. 31-40 | 2006 |

S. Dimopoulos, I. Legouras, Z. Lygerou, G. Xouri, J. Lygeros | DNA replication in the fission yeast: robustness in the face of uncertainty | Yeast, vol. 23, pp. 951-962 | 2006 |

B. Djeridane, J. Lygeros | Neural approximation of PDE solutions: An application to reachability computations | IEEE Conference on Decision and Control, Dec 13-15, San Diego, USA., pp. 3034-3039 | Dec 2006 |

K. N. Niarchos, J. Lygeros | A Neural Approximation to Continuous Time Reachability Computations | IEEE Conference on Decision and Control, San Diego, USA. | Dec 2006 |

P. Kouretas, K. Koutroumpas, J. Lygeros, Z. Lygerou | Stochastic hybrid modelling of biochemical processes | vol. 24, no. 9083, in C.G.Cassandras and J.Lygeros, editors, Stochastic Hybrid Systems, Automation and Control Engineering Series. | Nov 2006 |

I. Lymperopoulos, J. Lygeros, A. Lecchini Visintini | Model Based Aircraft Trajectory Prediction during Takeoff | AIAA Guidance, Navigation and Control Conference and Exhibit, Keystone, Colorado | Aug 2006 |

G. Fourlas, J. Lygeros | Detection of flight plan divergence in the horizontal plane | AIAA Guidance, Navigation and Control Conference and Exhibit, Keystone, Colorado | Aug 2006 |

G. Pola, J. Lygeros, M. Di Benedetto | Invariance in stochastic dynamical control systems | International Symposium on Mathematical Modelling, Proceedings MTNS 06 Tokyo Japan | Jul 2006 |

G. Nikolakopoulos, L. Dritsas, A. Tzes, J. Lygeros | Adaptive Constrained Control of Uncertain ARMA–Systems based on Set Membership Identification | Mediterranean Conference on Control and Automation, Ancona , Italy | Jun 2006 |

P. Kouretas, K. Koutroumpas, J. Lygeros | Parameter identification for piecewise deterministic markov processes: a case study on a biochemical network | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), ADHS06 Alghero , Italy | Jun 2006 |

Sasa V. Rakovic, E. Kerrigan, D. Mayne, J. Lygeros | Reachability analysis of discrete-time systems with disturbances | IEEE Transactions on Automatic Control, vol. 51, pp. 546-561 | Apr 2006 |

C. Yuan, J. Lygeros | Asymptotic stability and boundedness of delay switching diffusions | IEEE Transactions on Automatic Control, vol. 51, pp. 171-175 | Jan 2006 |

I. Kitsios, J. Lygeros | Final Glide-back Envelope Computation for Reusable Launch Vehicle Using Reachability | IEEE Conference on Decision and Control, Seville, Spain. | 2005 |

A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K. H. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A. L. Sangiovanni-Vincentelli, F. Santucci, O. Stursberg | Hybrid control of networked embedded systems | European Journal of Control, no. 11, pp. 1-31 (478-508), Special issue on fundamental issues in control, Invited paper | Dec 2005 |

C. Yuan, J. Lygeros | On the exponential stability of switching diffusion processes | IEEE Transactions on Automatic Control, vol. 50, pp. 1422-1426 | Sep 2005 |

C. Yuan, J. Lygeros | Stabilization of a class of stochastic differential equations with Markovian switching | Systems and Control Letters, vol. 54, pp. 819-833 | Sep 2005 |

I. Kitsios, J. Lygeros | Launch-pad Abort Flight Envelope Computation for a Personnel Launch Vehicle Using Reachability | AIAA Guidance, Navigation and Control Conference and Exhibit, San Francisco, California, USA | Aug 2005 |

A. Lecchini Visintini, W. Glover, J. Lygeros, Jan M. Maciejowski | Monte Carlo Optimization Strategies for Air-Traffic Control | AIAA Guidance, Navigation and Control Conference and Exhibit, San Fransisco, California | Aug 2005 |

W. Glover, A. Lecchini Visintini, J. Lygeros, Jan M. Maciejowski | Air Traffic Control with an expected value criterion | IFAC World Congress, Prague, Czech Republic | Jul 2005 |

I. Kitsios, J. Lygeros | Aerodynamic Envelope Computation for Safe Landing of the HL-20 Personnel Launch Vehicle using Hybrid Control | Mediterranean Conference on Control and Automation, Nicosia, Cyprus., MED05 | Jun 2005 |

S. N. Simic, K. H. Johansson, J. Lygeros, S. Sastry | Towards a geometric theory of hybrid systems | Dynamics of Discrete, Continuous and Impulsive Systems, vol. 12, no. 5-6, pp. 649-687, series B | May 2005 |

Y. Gao, J. Lygeros, M. Quincampoix, N. Seube | On the control uncertain impulsive systems: Approximate stabilization and controlled invariance | International Journal of Control, vol. 77, no. 16, pp. 1393-1407 | 2004 |

J. Lygeros | On reachability and minimum cost optimal control | Automatica, vol. 40, no. 6, pp. 917-927 | 2004 |

O. Watkins, J. Lygeros | Stochastic Reachability for Discrete Time Systems: An Application to Aircraft Collision Avoidance | IEEE Conference on Decision and Control, Maui, Hawaii, USA. | 2003 |

J. Lygeros | Minimum Cost Optimal Control: An Application to Flight Level Tracking | Mediterranean Conference on Control and Automation, Rhodes, Greece. | Jun 2003 |

J. Lygeros, K. H. Johansson, S. N. Simic, J. Zhang, S. Sastry | Dynamical properties of hybrid automata | IEEE Transactions on Automatic Control, vol. 48, pp. 2-17 | Jan 2003 |

J. Lygeros, M. Prandini | Aircraft and weather models for probabilistic collision avoidance in air traffic control | IEEE Conference on Decision and Control, Las Vegas, Nevada, USA, pp. 2427-2432 | Dec 2002 |

E. Kerrigan, J. Lygeros, Jan M. Maciejowski | A Geometric Approach To Reachability Computations For Constrained Discrete-Time Systems | IFAC World Congress, Barcelona, Spain. | Jul 2002 |

P.-C. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, N. Seube | Impulse differential inclusions: a viability approach to hybrid systems | IEEE Transactions on Automatic Control, vol. 47, pp. 2-20 | Jan 2002 |

K. H. Johansson, S. Sastry, J. Zhang, J. Lygeros | Zeno hybrid systems | International Journal of Robust & Nonlinear Control, vol. 11, pp. 435-451 | 2001 |

R. Vidal, S. Schaffert, O. Shakernia, J. Lygeros, S. Sastry | Decidable and Semi-decidable Controller Synthesis for Classes of Discrete Time Hybrid Systems | IEEE Conference on Decision and Control, Orlando, Florida, USA, pp. 1243-1248 | Dec 2001 |

J. Hu, J. Lygeros, S. Sastry | Towards a theory of stochastic hybrid systems | Lecture Notes in Computer Science LNCS, vol. 1790, pp. 160-173, Article in book serie: "Hybrid Systems: Computation and Control" | 2000 |

R. Vidal, S. Schaffert, J. Lygeros, S. Sastry | Controlled Invariance of Discrete Time Systems | Lecture Notes in Computer Science LNCS, no. 1790, pp. 437-450, Article in book: "Hybrid Systems: Computation and Control" | 2000 |

M. Prandini, J. Hu, J. Lygeros, S. Sastry | A probabilistic approach to aircraft conflict detection | IEEE Transactions on Intelligent Transportation Systems, vol. 1, pp. 199-220 | Dec 2000 |

D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, A. Lindsey | Communication Protocols for a Fault-Tolerant Automated Highway System | IEEE Transactions on Control Systems Technology, vol. 8, pp. 787-800 | Sep 2000 |

C. J. Tomlin, J. Lygeros, S. Sastry | A Game Theoretic Approach to Controller Design for Hybrid Systems | Proceedings of IEEE, vol. 88, pp. 949-969 | Jul 2000 |

C. Livadas, J. Lygeros, N: Lynch | High-Level Modeling and Analysis of the Traffic Alert and Collision Avoidance System (TCAS) | Proceedings of IEEE, vol. 88, pp. 926-948 | Jul 2000 |

J. Lygeros, D. N. Godbole, M. E. Broucke | A Fault Tolerant Control Architecture for Automated Highway Systems | IEEE Transactions on Control Systems Technology, vol. 8, pp. 205-219 | Mar 2000 |

M. Egerstedt, K. H. Johansson, S. Sastry, J. Lygeros | On the regularization of Zeno hybrid automata | Systems and Control Letters, vol. 38, pp. 141-150 | 1999 |

M. Prandini, J. Lygeros, A. Nilim, S. Sastry | Randomized algorithms for probabilistic aircraft conflict detection | IEEE Conference on Decision and Control, Phoenix, Arizona, USA, pp. 2444-2449 | Dec 1999 |

J. Lygeros, C. J. Tomlin, S. Sastry | Controllers for reachability specifications for hybrid systems | Automatica, pp. 349-370 | Mar 1999 |

J. Lygeros, D. N. Godbole, S. Sastry | Verified Hybrid Controllers for Automated Vehicles | IEEE Transactions on Automatic Control, vol. 43, no. 4, pp. 522-539 | 1998 |

J. Lygeros, D. N. Godbole | An Interface Between Continuous and Discrete-Event Controllers for Vehicle Automation | IEEE Transactions on Vehicular Technology, vol. 46, no. 1, pp. 229-241 | 1997 |

J. Lygeros | A Formal Approach to Fuzzy Modeling | vol. 5, no. 3, pp. 317-327 | Aug 1997 |

D. N. Godbole, J. Lygeros | Longitudinal control of the lead car of platoon | IEEE Transactions on Vehicular Technology, vol. 43, no. 4, pp. 1125-1135 | 1994 |

(02)Book | |||

H. Blom, J. Lygeros | Stochastic Hybrid Systems: Theory and Safety Critical Applications | Lecture Notes in Control and Information Sciences (LNCIS), vol. 337, H.A.P. Blom, J. Lygeros (Eds.) | 2006 |

A. Lecchini Visintini, W. Glover, J. Lygeros, Jan M. Maciejowski | Monte Carlo Optimisation for Conflict Resolution in Air Traffic Control | Lecture Notes in Control and Information Sciences (LNCIS), vol. 337, pp. 257-276, Chapter in book: Stochastic Hybrid Systems: Theory and Safety Critical Applications. H.A.P. Blom, J. Lygeros (Eds.) | 2006 |

C. Cassandras, J. Lygeros | Stochastic Hybrid Systems | vol. 24, Control Engineering Series | 2006 |

Book Chapter | |||

M. Vrakopoulou, P. Mohajerin Esfahani, K. Margellos, J. Lygeros, G. Andersson | Cyber-Attacks in the Automatic Generation Control | pp. 303-328, Chapter in Book: Cyber Physical Systems Approach to Smart Electric Power Grid (K. Khaitan, D. McCalley, and C. Liu Editors) | Feb 2015 |

J. Ruess, J. Lygeros | On the use of the moment equations for parameter inference, control and experimental design in stochastic biochemical reaction networks | Computational Methods in Systems Biology, vol. 8130 of Lecture Notes in Computer Science LNCS, pp. 1-4 | Sep 2013 |

Z. Lygerou, K. Koutroumpas, J. Lygeros | DNA Replication | pp. 610-614, Encyclopedia of Systems Biology (K.C.W. Dubitzky, O. Wolkenhauer, H. Yokota, eds.) | Aug 2013 |

M. Vrakopoulou, K. Margellos, J. Lygeros, G. Andersson | Probabilistic Guarantees for the N-1 Security of Systems with Wind Power Generation | pp. 59-73, in Reliability and Risk Evaluation of Wind Integrated Power Systems, eds. R. Billinton, R. K. Verma, A. Karki, Springer | Apr 2013 |

D. M. Raimondo, Stefano Riverso, S. Summers, C.N. Jones, J. Lygeros, M. Morari | A set theoretic method for verifying feasibility of a fast explicit nonlinear Model Predictive Controller | Lecture Notes in Control and Information Sciences (LNCIS), vol. 417, pp. 289-311, Distributed Decision Making and Control | 2012 |

J. Lygeros, A. Pantazi, A. Sebastian, T. Tuma | Impulsive Control for Nanopositioning: Stability and Performance | pp. 253 -262 | May 2011 |

M. Prandini, J. Lygeros | Stochastic hybrid systems | New York: Cambridge University Press, Hybrid Systems: Computation and Control, pp. 249–276 | 2009 |

E. Cinquemani, A. Milias, S. Summers, J. Lygeros | Local identification of piecewise deterministic models of genetic networks | Lecture Notes in Computer Science LNCS, vol. 5469, pp. 105-119 | 2009 |

A. Abate, M. Prandini, J. Lygeros, S. Sastry | Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps | Lecture Notes in Computer Science LNCS, vol. 4981, in Hybrid Systems: Computation and Control | 2008 |

M.L. Bujorianu, J. Lygeros, R. Langerak | Reachability analysis of stochastic hybrid systems by optimal control | Lecture Notes in Computer Science LNCS, vol. 4981, pp. 610-613, in Hybrid Systems: Computation and Control | 2008 |

J. Lygeros, M. Quincampoix, T. Rzezuchowski | Impulse differential inclusions driven by discrete measures | Lecture Notes in Computer Science LNCS, vol. 4416, pp. 385-398, in Hybrid Systems: Computation and Control | 2007 |

E.Cruck, J. Lygeros | A hybrid control model for subliminal air traffic control | HSCC (Hybrid Systems: Computation and Control ), vol. 4416, pp. 672-675, Serie LNCS | Apr 2007 |

S. Amin, A. Abate, M. Prandini, S. Sastry, J. Lygeros | Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems | Lecture Notes in Computer Science LNCS, no. 3927, pp. 49-63 | 2006 |

J. Lygeros, X. Mao, C. Yuan | Stochastic hybrid delay population dynamics | Lecture Notes in Computer Science LNCS, vol. 3927, pp. 436-450, HSCC'2006 | 2006 |

Y. Gao, J. Lygeros, M. Quincampoix | The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective | Lecture Notes in Computer Science LNCS, no. 3927, pp. 242-256 | 2006 |

M.L. Bujorianu, J. Lygeros, M.C. Bujorianu | Different approaches on Bisimulation for General Stochastic hybrid systems | Lecture Notes in Computer Science LNCS, vol. 3414, Article part of book: "Hybrid Systems: Computation and Control" | 2005 |

A. Lecchini Visintini, W. Glover, J. Lygeros, Jan M. Maciejowski | Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation | Lecture Notes in Computer Science LNCS, no. 3414, pp. 433-448 | 2005 |

W. Glover, J. Lygeros | A stochastic hybrid model for air traffic control simulation | Lecture Notes in Computer Science LNCS, no. 2993, pp. 372-386, Article in book "Hybrid Systems: Computation and Control" | 2004 |

C. Yuan, J. Lygeros | Asymptotic Stability and Boundedness of Delay Switching Diffusions | Lecture Notes in Computer Science LNCS, no. 2993, pp. 646-659 | 2004 |

M.L. Bujorianu, J. Lygeros | Reachability Questions in Piecewise Deterministic Markov Processes | Lecture Notes in Computer Science LNCS, no. 2623, pp. 126-140, Article in book: "Hybrid Systems: Computation and Control" | 2003 |

(04)Technical Report | |||

T. Sutter, D. Sutter, P. Mohajerin Esfahani, J. Lygeros | Generalized maximum entropy estimation | vol. AUT17-03, (arXiv:1708.07311), submitted for publication [OC:03751] | 2017 |

P. Mohajerin Esfahani, T. Sutter, D. Kuhn, J. Lygeros | From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming | vol. AUT17-01, (arXiv:1701.06379), submitted for publication [OC:03751] | 2017 |

D. Paccagnan, B. Gentile, F. Parise, M. Kamgarpour, J. Lygeros | Distributed computation of generalized Nash equilibria in quadratic aggregative games with affine coupling constraints | vol. AUT16-02, Extended version of CDC 2016 "Distributed computation of generalized Nash equilibria in quadratic aggregative games with affine coupling constraints" | Dec 2016 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Strong Stationarity Conditions for Optimal Control of Hybrid Systems | vol. AUT15-06, available at http://arxiv.org/abs/1507.02878 | Jul 2015 |

S. M. Huck, N. Kariotoglou, M. Dahinden, J. Lygeros | Experimental Validation of Patrolling Strategies in an Automated Surveillance Environment | vol. AUT14-02 | Aug 2014 |

A.B. Hempel, P.J. Goulart, J. Lygeros | Inverse Parametric Optimization with an Application to Hybrid System Control | vol. AUT14-03, Available on Optimization Online | Jun 2014 |

M. Kamgarpour, T.H. Summers, J. Lygeros | Linear programming approach to constrained stochastic control | vol. AUT14-06 | Mar 2014 |

P. Mohajerin Esfahani, M. Vrakopoulou, G. Andersson, J. Lygeros | A Tractable Nonlinear Fault Detection and Isolation Technique with Application to the Cyber-Physical Security of Power Systems | vol. AUT12-05, pp. 1-8 | Sep 2012 |

R. Porreca, E. Cinquemani, J. Lygeros, G. Ferrari-Trecate | Invalidation of the structure of genetic network dynamics: A geometric approach | vol. AUT11-11 | 2011 |

E. Cinquemani, M. Agarwal, D. Chatterjee, J. Lygeros | On convex problems in chance-constrained stochastic model predictive control | http://arxiv.org/abs/0905.3447 | Spring-Summer 2011 |

P. Hokayem, D. Chatterjee, F. Ramponi, J. Lygeros | Stable networked control systems with bounded control authority | vol. AUT11-12, pp. 10 | Apr 2011 |

D. Chatterjee, F. Ramponi, P. Hokayem, J. Lygeros | On mean square boundedness of stochastic linear systems with bounded controls | vol. AUT11-10, pp. 9 | Mar 2011 |

A. Milias, R. Porreca, S. Summers, J. Lygeros | Bayesian model selection for the yeast GATA-factor network: a comparison of computational approaches | vol. AUT10-06 | Aug 2010 |

D. M. Raimondo, Simone Gasparella, D. Sturzenegger, J. Lygeros, M. Morari | A tracking algorithm for PTZ cameras | vol. AUT10-04 | Jul 2010 |

R. Porreca, E. Cinquemani, J. Lygeros, G. Ferrari-Trecate | Canalizing structure of genetic network dynamics: modelling and identification via mixed-integer programming | vol. AUT09-10 | Dec 2009 |

K. Margellos, J. Lygeros | Hamilton-Jacobi formulation for Reach-Avoid Differential Games | vol. AUT09-15 also available at: http://arxiv.org/abs/0911.4625 | Nov 2009 |

F. Ramponi, D. Chatterjee, S. Summers, J. Lygeros | On the connections between PCTL and Dynamic Programming | vol. AUT09-13, pp. 10, Also available at: http://arxiv.org/abs/0910.4738 | Oct 2009 |

D. Chatterjee, E. Cinquemani, J. Lygeros | Probabilistic regulation in stochastic hybrid systems subject to safety constraints | vol. AUT09-06, Submitted to ADHS 2009 | Apr 2009 |

D. Chatterjee, P. Hokayem, J. Lygeros | Stochastic receding horizon control with bounded control inputs: a vector space approach | vol. AUT09-05, Also available at http://arxiv.org/abs/0903.5444 | Mar 2009 |

M. Agarwal, E. Cinquemani, D. Chatterjee, J. Lygeros | On convexity of stochastic optimization problems with constraints | vol. AUT09-01 | Dec 2008 |

D. Chatterjee, E. Cinquemani, G. Chaloulos, J. Lygeros | Stochastic Control up to a Hitting Time: Optimality and Rolling-horizon Implementation | vol. AUT08-10, Also available at: http://arxiv.org/abs/0806.3008 | Jun 2008 |

A. Lecchini Visintini, J. Lygeros, Jan M. Maciejowski | Approximate domain optimization for deterministic and expected value criteria | vol. AUT08-03 | Mar 2008 |

G. Chaloulos, J. Lygeros | Wind Uncertainty Correlation and Aircraft Conflict Detection based on RUC-1 Forecasts | vol. AUT07-02 | Feb 2007 |

I. Lymperopoulos, J. Lygeros, A. Lecchini Visintini, Jan M. Maciejowski, W. Glover | A Stochastic Hybrid Model for Air Traffic Management Processes | Cambridge, vol. AUT07-15, no. CUED/F-INFENG/TR.572 | Feb 2007 |

G. Chaloulos, J. Lygeros | On the Effect of Wind Correlation on Aircraft Conflict Probability | vol. AUT07-01 | Feb 2007 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | A general framework for the identification of jump Markov linear systems | vol. AUT07-05 | Jan 2007 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | Subtilin Production by Bacillus Subtilis: Stochastic Hybrid Models and Parameter Identification | vol. AUT06-13 | Dec 2006 |

J. Lygeros | Lecture notes on hybrid systems | vol. AUT06-08 | Dec 2006 |

K. Koutroumpas, E. Cinquemani, P. Kouretas, J. Lygeros | Parameter Identification for Stochastic Hybrid Systems: An application to Subtilin Production by Bacillus Subtilis | vol. AUT06-12 | Nov 2006 |

(08)Patent | |||

T. A. Wood, S. Summers, M. Kamgarpour, J. Lygeros | Support to emergency evacuation | Dec 2013 | |

(05)Plenary/Invited/Honorary Lecture | |||

J. Lygeros | Stochastic Hybrid Systems: Theory and applications / Semi-plenary lecture | Chinese Control Conference (CCC) | Jul 2008 |

(06)Talk | |||

K. Margellos, J. Lygeros | Hierarchical control for power systems with high wind penetration | Fifth IntelliCIS Workshop, Milan, Italy | Sep 2011 |

J. Tzanos, K. Margellos, J. Lygeros | Optimal wind turbine placement via randomized optimization techniques | Power Systems Computation Conference (PSCC), Stockholm, Sweden | Aug 2011 |

K. Margellos, J. Lygeros | Security in Power Systems: Impact Identification of a Cyber Attack in the Automatic Generation Control | First KIOS Workshop, KIOS Research Center, Nikosia, Cyprus | Apr 2011 |

D. Chatterjee, P. Hokayem, F. Ramponi, J. Lygeros | On stability of networked control systems (NCS) with bounded controls | Mar 2011 | |

K. Margellos, J. Lygeros | 4D trajectory management: Reachability theory formulation and target window implementation | The 2nd Workshop on Formal Methods for Aerospace (FMA@CDC'2010), Atlanta, Georgia, USA | Dec 2010 |

D. Panagou, K. Margellos, S. Summers, J. Lygeros, K. Kyriakopoulos | A Viability Approach for the Stabilization of an Underactuated Underwater Vehicle in the Presence of Current Disturbances | IEEE Conference on Decision and Control, Shanghai, China | Dec 2009 |

G. Chaloulos, G. Roussos, J. Lygeros, K. Kyriakopoulos | Mid and Short Term Conflict Resolution in Autonomous Aircraft Operations | EUROCONTROL Innovative Research Workshop & Exhibition | Dec 2009 |

D. Chatterjee, E. Cinquemani, G. Chaloulos, J. Lygeros | On stochastic control up to a hitting time | IEEE Conference on Decision and Control | Dec 2009 |

P. Hokayem, D. Chatterjee, J. Lygeros | On stochastic receding horizon control with bounded control inputs | IEEE Conference on Decision and Control | Dec 2009 |

D. Chatterjee, E. Cinquemani, J. Lygeros | Probabilistic Regulation in Stochastic Hybrid Systems subject to Safety Constraints | IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) | Sep 2009 |

M. Prandini, L. Piroddi, J. Lygeros | A two-step approach to aircraft conflict resolution combining optimal deterministic design with monte carlo stochastic optimization | European Control Conference (ECC), Budapest, Hungary, pp. 23-26 | Aug 2009 |

M. Agarwal, E. Cinquemani, D. Chatterjee, J. Lygeros | On convexity of stochastic optimization problems with constraints | European Control Conference (ECC), Budapest, Hungary, pp. 2827-2832 | Aug 2009 |

E. Cinquemani, V. Roukos, Z. Lygerou, J. Lygeros | Numerical analysis of FRAP experiments for DNA replication and repair | Conference on Decision and Control (CDC), Cancun, Mexico | Dec 2008 |

J. Lygeros | Stochastic hybrid systems in systems biology | IEEE Conference on Decision and Control | Dec 2008 |

J. Lygeros | On the approximate domain optimization of deterministic and expected value criteria | IEEE Conference on Decision and Control | Dec 2008 |

G. Roussos, G. Chaloulos, K. Kyriakopoulos, J. Lygeros | Control of Multiple Non-Holonomic Air Vehicles under Wind Uncertainty Using Model Predictive Control and Decentralized Navigation Functions | IEEE Conference on Decision and Control, Cancun, Mexico | Dec 2008 |

K. Koutroumpas, Z. Lygerou, J. Lygeros | Parameter Identification for a DNA Replication Model | IEEE International Conference on BioInformatics and BioEngineering, Athens | Oct 2008 |

J. Lygeros | Randomized optimization with an expected value criterion: Finite sample bounds and applications | University of California Santa Barbara USA | Oct 2008 |

G. Chaloulos, J. Lygeros | Limitations of Subliminal Control in Air Traffic Management | International Conference on Research in Air Transportation (ICRAT), Fairfax, Virginia | Jun 2008 |

J. Lygeros | Randomized optimization with an expected value criterion: Finite sample bounds and applications | ABB Corporate Research Center | Jun 2008 |

J. Lygeros | Short course on hybrid systems | Università degli Studi della Calabria | Mar 2008 |

E. Cinquemani, R. Porreca, G. Ferrari-Trecate, J. Lygeros | A general framework for the identification of jump Markov linear systems | IEEE Conference on Decision and Control | Dec 2007 |

G. Chaloulos, J. Lygeros | Wind Uncertainty Correlation and Aircraft Conflict Detection based on RUC-1 Forecasts | AIAA Guidance, Navigation and Control Conference and Exhibit, Hilton Head Island, South Carolina | Aug 2007 |

E. Cinquemani, A. Milias, J. Lygeros | Identification of genetic regulatory networks: A stochastic hybrid approach | ETH Zurich | Aug 2007 |

J. Lygeros | A Learning theory approach: to the computation of reachable sets | European Control Conference (ECC) | Jul 2007 |

J. Lygeros | An overview of the use of hybrid models in biochemical networks | IEEE Conference on Decision and Control | Dec 2006 |

J. Lygeros | Neural approximation of PDE solutions: An application to reachability computations | IEEE Conference on Decision and Control | Dec 2006 |

Z. Lygerou, J. Lygeros | Stochastic hybrid models for DNA replication | IEEE Conference on Decision and Control | Dec 2006 |

J. Lygeros | Air traffic, randomization, DNA, reachability: Is there method to the madness? | IfA Internal Seminar Series, ETH Zurich | Nov 2006 |

E. Cinquemani, K. Koutroumpas, J. Lygeros | Parameter identification for B.Subtilis | HYGEIA meeting, Institut fur Automatik, ETH Zurich | Oct 2006 |

(07)Award | |||

P. Mohajerin Esfahani, T. Sutter, J. Lygeros | George S. Axelby Outstanding Paper Award | IEEE Transactions on Automatic Control | 2016 |

(15)Miscellaneous | |||

T.H. Summers, I. Shames, J. Lygeros, F. Dörfler | Correction to “Topology design for optimal network coherence” | [OC:09478] | 2017 |

T.H. Summers, I. Shames, J. Lygeros, F. Dörfler | Topology Design for Optimal Network Coherence | Nov 2014 |