Citation Impact
Citing Papers
Deep learning in neural networks: An overview
2014 Standout
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
2002 Standout
Computing reachable sets for uncertain nonlinear monotone systems
2009
Computation in gene networks
2003
Temporal logic motion planning for dynamic robots
2008
Observability and controllability of piecewise affine and hybrid systems
2000
Reachability analysis of linear systems with uncertain parameters and inputs
2007
Computational techniques for hybrid system verification
2003
State of the Art of Finite Control Set Model Predictive Control in Power Electronics
2012 Standout
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
Verifying average dwell time of hybrid systems
2008
Control allocation—A survey
2013 Standout
On the undecidability of probabilistic planning and related stochastic optimization problems
2003
Networked Control System: Overview and Research Trends
2009 Standout
Perspectives and results on the stability and stabilizability of hybrid systems
2000 Standout
Logics for hybrid systems
2000
Survey on Scenario-Based Safety Assessment of Automated Vehicles
2020 Standout
A survey of computational complexity results in systems and control
2000
Reachable set computation for uncertain time-varying linear systems
2011
Flexible Piecewise Function Evaluation Methods Based on Truncated Binary Search Trees and Lattice Representation in Explicit MPC
2011
Comparison of Hybrid Control Techniques for Buck and Boost DC-DC Converters
2009
Complexity of stability and controllability of elementary hybrid systems
1999
Discrete-event simulation of fluid stochastic Petri nets
1999
Discrete abstractions of hybrid systems
2000
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
2009 Standout
Definition and Classification of Power System Stability IEEE/CIGRE Joint Task Force on Stability Terms and Definitions
2004 Standout
Online Verification of Automated Road Vehicles Using Reachability Analysis
2014 Standout
Model-based evaluation: from dependability to security
2004 Standout
Works of Eugène Asarin being referenced
d/dt: a verification tool for hybrid systems
2003
Hybridization methods for the analysis of nonlinear systems
2007
Effective synthesis of switching controllers for linear systems
2000
Hybrid Systems: Computation and Control
2004
Reachability analysis of dynamical systems having piecewise-constant derivatives
1995
Automata, Languages and Programming
2005