John Lygeros
ETH Zurich(CH)ZTE (United States)(US)
Publications by Year
Research Areas
Advanced Control Systems Optimization, Formal Methods in Verification, Control Systems and Identification, Smart Grid Energy Management, Fault Detection and Control Systems
Most-Cited Works
- → Dynamical properties of hybrid automata(2003)800 cited
- → A Survey of Applications of Wireless Sensors and Wireless Sensor Networks(2005)798 cited
- → Controllers for reachability specifications for hybrid systems(1999)608 cited
- → On the regularization of Zeno hybrid automata(1999)553 cited
- → A game theoretic approach to controller design for hybrid systems(2000)507 cited
- → On Submodularity and Controllability in Complex Dynamical Networks(2015)481 cited
- → Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems(2008)439 cited