scientific article; zbMATH DE number 1444347

MaRDI QIDQ4953388zbMATH OpenFDO

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

Publication date 21 June 2000

Mathematics Subject Classification ID

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

Cited in

(17)

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

Describes a project that uses

Uses Software

• PROFIL/BIAS
• HyTech

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 Q4953388)