The following pages link to (Q4249565):
Displaying 31 items.
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- Provably safe and robust learning-based model predictive control (Q490551) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Compositional abstraction refinement for control synthesis (Q1690521) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations (Q2097651) (← links)
- Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Approximate equivalence of the hybrid automata with Taylor theory (Q2336779) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Control barrier functions for stochastic systems (Q2665332) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- A note on the Hausdorff distance between norm balls and their linear maps (Q6052489) (← links)
