scientific article; zbMATH DE number 1956632

MaRDI QIDQ4417993zbMATH OpenFDO

Authors Tobias Geyer, Fabio D. Torrisi, Manfred Morari

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230216.htm

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Efficient mode enumeration of compositional hybrid systems
• Compositional and uniform modeling of hybrid systems
• Compositional modeling and refinement for hierarchical hybrid systems
• A compositional approach to the verification of hybrid systems
• Formal composition of hybrid systems
• scientific article; zbMATH DE number 1794359
• A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
• scientific article; zbMATH DE number 1956649
• Compositionality issues in discrete, continuous, and hybrid systems
• scientific article; zbMATH DE number 1507211

Cited in

(3)

• Efficient mode enumeration of compositional hybrid systems
• Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management
• Optimal complexity reduction of polyhedral piecewise affine systems

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