scientific article; zbMATH DE number 1303067
From MaRDI portal
zbMath0926.93036MaRDI QIDQ4249569
Gerardo Lafferriere, George J. Pappas, Sergio Yovine
Publication date: 22 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Variable structure systems (93B12) Model theory (03C99) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Reachability analysis of linear systems with stepwise constant inputs, On the expressiveness and decidability of o-minimal hybrid systems, Safety verification for probabilistic hybrid systems, Reachability and connectivity queries in constraint databases, Bounded Verification of Reachability of Probabilistic Hybrid Systems, Limit cycles of linear vector fields on \(( \mathbb{S}^2)^m \times \mathbb{R}^N\), On the decidability of reachability in continuous time linear time-invariant systems, PTIME parametric verification of safety properties for reasonable linear hybrid automata, SAT modulo linear arithmetic for solving polynomial constraints, Interrupt timed automata: verification and expressiveness, Taylor approximation for hybrid systems, A survey of computational complexity results in systems and control, Monotonic hybrid systems, Unnamed Item, Symbolic reachability computation for families of linear vector fields, Supervisory control of hybrid systems based on model abstraction and guided search, Formal language properties of hybrid systems with strong resets, Topologies, Continuity and Bisimulations, Discrete-time hybrid modeling and verification of the batch evaporator process benchmark, Interrupt Timed Automata, Periodically Controlled Hybrid Systems, Property Driven Three-Valued Model Checking on Hybrid Automata, Approximated Reachability on Hybrid Automata: Falsification meets Certification, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Differential dynamic logic for hybrid systems, Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers, Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
