Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
Reachability Analysis Using Polygonal Projections
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Orthogonal Polyhedra: Representation and Computation
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Computing Controllers for Nonlinear Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Controlled Invariance of Discrete Time Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
On the Decidability of the Reachability Problem for Planar Differential Inclusions
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Semi-decidable Synthesis for Triangular Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Accurate Event Detection for Simulating Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid System Models of Navigation Strategies for Games and Animations
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Hybrid Control of a Truck and Trailer Vehicle
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
The d/dt Tool for Verification of Hybrid Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Sampling-based Algorithm for Testing and Validating Robot Controllers
International Journal of Robotics Research
Abstractions for hybrid systems
Formal Methods in System Design
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Reachability analysis of continuous-time piecewise affine systems
Automatica (Journal of IFAC)
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science (ENTCS)
Computing Reachable States for Nonlinear Biological Models
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Dynamic distributed intrusion detection for secure multi-robot systems
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
MARCO: a reachability algorithm for multi-affine systems with applications to biological systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Robust test generation and coverage for hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Verification of hybrid systems based on counterexample-guided abstraction refinement
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Approximate reachability for linear systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Computing reachable states for nonlinear biological models
Theoretical Computer Science
A dynamic algorithm for approximate flow computations
Proceedings of the 14th international conference on Hybrid systems: computation and control
Approximate reachability computation for polynomial systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Efficient computation of reachable sets of linear time-invariant systems with inputs
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Generating polynomial invariants for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Computing bounded reach sets from sampled simulation traces
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Limited-information control of hybrid systems via reachable set propagation
Proceedings of the 16th international conference on Hybrid systems: computation and control
Finite data-rate feedback stabilization of switched and hybrid linear systems
Automatica (Journal of IFAC)
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
| Hi-index | 0.01 |