scientific article; zbMATH DE number 1303063
From MaRDI portal
Publication:4249565
Recommendations
- scientific article; zbMATH DE number 1303058
- Polyhedral flows in hybrid automata
- Verification of Bounded Discrete Horizon Hybrid Automata
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- scientific article; zbMATH DE number 1852175
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Verification of Hybrid Automata Diagnosability by Abstraction
Cited in
(35)- Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations
- Approximate bisimulation relations for constrained linear systems
- Conservative time discretization: a comparative study
- Time-optimal control for discrete-time hybrid automata
- Formal modelling, analysis and verification of hybrid systems
- Control barrier functions for stochastic systems
- Fairness of transitions in diagnosability of discrete event systems
- Reachability analysis of linear systems using support functions
- Approximate equivalence of the hybrid automata with Taylor theory
- Dynamic optimization for reachability problems.
- Unwinding biological systems
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- On reachability and minimum cost optimal control
- Hybridization methods for the analysis of nonlinear systems
- Taylor approximation for hybrid systems
- Counterexample-guided predicate abstraction of hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Hybrid control of networked embedded systems
- Verification of Hybrid Systems
- Reachability analysis and simulation for hybridised Event-B models
- Computing reachable states for nonlinear biological models
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Provably safe and robust learning-based model predictive control
- Compositional abstraction refinement for control synthesis
- Abstractions for hybrid systems
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Robust identification of hybrid automata from noisy data
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- A note on the Hausdorff distance between norm balls and their linear maps
- Supervisory target control for hybrid systems
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Formal verification and quantitative metrics of MPSoC data dynamics
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark
- Reachability computation for polynomial dynamical systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249565)
