Languages and Tools for Hybrid Systems Design
From MaRDI portal
Publication:5898656
DOI10.1561/1000000001zbMath1107.68385OpenAlexW4205958241WikidataQ57380586 ScholiaQ57380586MaRDI QIDQ5898656
Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
Publication date: 5 March 2007
Published in: Foundations and Trends® in Electronic Design Automation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1561/1000000001
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65) Computer system organization (68M99)
Related Items
Some problems of analysis of hybrid automata, Verification of Hybrid Systems, A survey of timed automata for the development of real-time systems, Approximating Behaviors in Embedded System Design, Cyber-physical systems, Non-standard semantics of hybrid systems modelers, A type-based analysis of causality loops in hybrid systems modelers, A Formal Model for a Hybrid Programming Language, Modelling framework for artificial hybrid dynamical systems, Mixed logical dynamical modeling of discrete-time hybrid fractional systems, Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point, Moded and continuous abstract state machines
Uses Software
