scientific article; zbMATH DE number 1303063

zbMath0954.93020MaRDI QIDQ4249565

Alongkrit Chutinan, Bruce H. Krogh

Publication date: 16 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationhybrid systemscomputational techniqueapproximating automata

Mathematics Subject Classification ID

Related Items (34)

Counterexample-guided predicate abstraction of hybrid systems ⋮ On reachability and minimum cost optimal control ⋮ Verification of Hybrid Systems ⋮ Reachability analysis and simulation for hybridised Event-B models ⋮ Conservative time discretization: a comparative study ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis ⋮ Control barrier functions for stochastic systems ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ A note on the Hausdorff distance between norm balls and their linear maps ⋮ Compositional abstraction refinement for control synthesis ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Provably safe and robust learning-based model predictive control ⋮ Taylor approximation for hybrid systems ⋮ Time-optimal control for discrete-time hybrid automata ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ Hybrid Automata in Systems Biology: How Far Can We Go? ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Abstractions for hybrid systems ⋮ Reachability computation for polynomial dynamical systems ⋮ Dynamic optimization for reachability problems. ⋮ Computing reachable states for nonlinear biological models ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Reachability analysis of linear systems using support functions ⋮ Hybrid control of networked embedded systems ⋮ Discrete-time hybrid modeling and verification of the batch evaporator process benchmark ⋮ Supervisory target control for hybrid systems ⋮ Approximate equivalence of the hybrid automata with Taylor theory ⋮ Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations ⋮ Unwinding biological systems ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

This page was built for publication: