Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
From MaRDI portal
Publication:3523098
DOI10.1007/978-3-540-78929-1_5zbMath1144.93313OpenAlexW1941176105MaRDI QIDQ3523098
Alberto Ferrari, Emanuele Mazzi, Luca Benvenuti, Alberto L. Sangiovanni-Vincentelli
Publication date: 2 September 2008
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_5
Design techniques (robust design, computer-aided design, etc.) (93B51) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Uses Software
Cites Work