On symbolic hybrid systems

DOI10.1016/J.NA.2005.03.057zbMATH Open1224.93074OpenAlexW2049014549MaRDI QIDQ999561FDOQ999561

Authors: Gisela De Sarrazin, Antonio Mejias, F. Szigeti 

Publication date: 4 February 2009

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.na.2005.03.057

Recommendations

• scientific article; zbMATH DE number 744077
• Symbolic verification of hybrid systems: an algebraic approach
• From synchronous programs to symbolic representations of hybrid systems
• Relational Methods in Computer Science
• An algebra of hybrid systems
• A Hybrid Denotational Semantics for Hybrid Systems
• Symbolic reachability analysis of multirate hybrid systems
• scientific article; zbMATH DE number 1301620
• Symbolic Algorithm Analysis of Rectangular Hybrid Systems

zbMATH Keywords

dynamical systemshybrid systemsswitching controldiscrete event systems

Mathematics Subject Classification ID

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

Cites Work

• An introduction to hybrid dynamical systems
• Verified hybrid controllers for automated vehicles
• Pseudo dynamic hybrid systems

Cited In (13)

• Hybrid systems and hybrid computation. I: Hybrid systems
• Hybrid automata: an insight into the discrete abstraction of discontinuous systems
• Hybrid Systems Forming Strange Billiards
• Simulation of systems with dynamically varying model structure
• Expressive power of hybrid systems with variables, parameters and arrays
• Hybrid dynamical systems theory and the Signal language
• Modeling of one kind of a hybrid dynamical system
• Learning symbolic representations of hybrid dynamical systems
• Title not available (Why is that?)
• From synchronous programs to symbolic representations of hybrid systems
• Hybrid Systems: Computation and Control
• Hybrid state approach for modelling electrical and mechanical systems
• Title not available (Why is that?)

This page was built for publication: On symbolic hybrid systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q999561)