Languages and Tools for Hybrid Systems Design
DOI10.1561/1000000001zbMATH Open1107.68385DBLPjournals/fteda/CarloniPPS06OpenAlexW4205958241WikidataQ57380586 ScholiaQ57380586MaRDI QIDQ5898656FDOQ5898656
Authors: 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
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65) Computer system organization (68M99)
Cited In (16)
- A survey of timed automata for the development of real-time systems
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Mixed logical dynamical modeling of discrete-time hybrid fractional systems
- Some problems of analysis of hybrid automata
- Cyber-physical systems
- A Formal Model for a Hybrid Programming Language
- Approximating Behaviors in Embedded System Design
- Non-standard semantics of hybrid systems modelers
- Verification of Hybrid Systems
- A type-based analysis of causality loops in hybrid systems modelers
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
- Modelling framework for artificial hybrid dynamical systems
- Moded and continuous abstract state machines
- Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
- Hybrid systems in automotive electronics design
- Hybrid Systems: Computation and Control
Uses Software
This page was built for publication: Languages and Tools for Hybrid Systems Design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898656)
