The following pages link to (Q4953388):
Displaying 17 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Denotational semantics of hybrid automata (Q2643331) (← links)
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (Q3095239) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Superposition Modulo Non-linear Arithmetic (Q3172887) (← links)
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems (Q3540072) (← links)
- Challenges in Constraint-Based Analysis of Hybrid Systems (Q5191406) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
- Abstract Interpretation of the Physical Inputs of Embedded Programs (Q5452705) (← links)
