Languages and Tools for Hybrid Systems Design
From MaRDI portal
Publication:5898656
DOI10.1561/1000000001zbMath1107.68385DBLPjournals/fteda/CarloniPPS06OpenAlexW4205958241WikidataQ57380586 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 (12)
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
This page was built for publication: Languages and Tools for Hybrid Systems Design
