scientific article; zbMATH DE number 1444347

zbMath0938.93552MaRDI QIDQ4953388

Rupak Majumdar, Benjamin Horowitz, Howard Wong-Toi, Thomas A. Henzinger

Publication date: 21 June 2000

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

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (17)

An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Continuity controlled hybrid automata ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Superposition Modulo Non-linear Arithmetic ⋮ Denotational semantics of hybrid automata ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ A verified method for solving piecewise smooth initial value problems ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Challenges in Constraint-Based Analysis of Hybrid Systems ⋮ Process algebra for hybrid systems ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Abstract Interpretation of the Physical Inputs of Embedded Programs ⋮ Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis

Uses Software

• HyTech
• Unnamed Item

This page was built for publication: