Inductively inferring valid logical models of continuous-state dynamical systems

DOI10.1016/0304-3975(94)00148-CMaRDI QIDQ673881zbMATH OpenOpenAlexFDO

Authors Panos J. Antsaklis, Michael D. Lemmon

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00148-c

zbMATH Keywords

ellipsoid methodhybrid control systemslinear inequalitiesstable transitions

Mathematics Subject Classification ID

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

Recommendations

• A logical DES approach to the design of hybrid control systems
• On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems
• An invariant-based approach to the design of hybrid control systems

Cites work

• A logical DES approach to the design of hybrid control systems
• Feature Article—The Ellipsoid Method: A Survey
• Geometric algorithms and combinatorial optimization
• scientific article; zbMATH DE number 3790208 (Why is no real title available?)
• Stability by Liapunov's direct method. With applications

Cited in

(3)

• A logical DES approach to the design of hybrid control systems
• scientific article; zbMATH DE number 5968911 (Why is no real title available?)
• Universal Approximation of Multiple Nonlinear Operators by Neural Networks

This page was built for publication: Inductively inferring valid logical models of continuous-state dynamical systems

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