Pages that link to "Item:Q5897960"
From MaRDI portal
The following pages link to Formal Modeling and Analysis of Timed Systems (Q5897960):
Displaying 12 items.
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Counterexample-Guided Refinement of Template Polyhedra (Q3303915) (← links)
- Bracketing backward reach sets of a dynamical system (Q3386553) (← links)
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
