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
Model Predictive Control for Power Converters and Drives: Advances and Trends
2016 Standout
Reachability analysis of linear systems with uncertain parameters and inputs
2007
Computational techniques for hybrid system verification
2003
Energy-aware task assignment for mobile cyber-enabled applications in heterogeneous cloud computing
2017 Standout
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
2007 Standout
Delay-dependent stability of a type of linear switching systems with discrete and distributed time delays
2007
Verifying average dwell time of hybrid systems
2008
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
Robust control for uncertain switched non-linear systems with time delay under asynchronous switching
2009 Standout
A survey of computational complexity results in systems and control
2000
Reachable set computation for uncertain time-varying linear systems
2011
Complexity of stability and controllability of elementary hybrid systems
1999
Discrete-event simulation of fluid stochastic Petri nets
1999
Transformer: Run-time reprogrammable heterogeneous architecture for transparent acceleration of dynamic workloads
2015
Discrete abstractions of hybrid systems
2000
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
2009 Standout
Model Predictive Direct Torque Control: Derivation and Analysis of the State-Feedback Control Law
2013
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 Oded Maler being referenced
Hybrid systems : computation and control : 6th International Workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003 : proceedings
2003
d/dt: a verification tool for hybrid systems
2003
Optimizing explicit data transfers for data parallel applications on the cell architecture
2012
Effective synthesis of switching controllers for linear systems
2000
Hybrid Systems: Computation and Control
2003
Reachability analysis of dynamical systems having piecewise-constant derivatives
1995