Beyond HyTech: Hybrid systems analysis using interval numerical methods
From MaRDI portal
Cited in
(17)- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Process algebra for hybrid systems
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Continuity controlled hybrid automata
- Denotational semantics of hybrid automata
- Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods
- Rigorous discretization of hybrid systems using process calculi
- Superposition modulo non-linear arithmetic
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
- Challenges in Constraint-Based Analysis of Hybrid Systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- A verified method for solving piecewise smooth initial value problems
- Abstract Interpretation of the Physical Inputs of Embedded Programs
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Computing reachable sets for uncertain nonlinear monotone systems
This page was built for publication: Beyond HyTech: Hybrid systems analysis using interval numerical methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953388)
