Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.93105OpenAlexW2478741156MaRDI QIDQ5898999

Alessandro Pinto, Roberto Passerone, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Application models in control theory (93C95) Semantics in the theory of computing (68Q55)

Uses Software

• HyTech
• d/dt

This page was built for publication: Hybrid Systems: Computation and Control