Languages and Tools for Hybrid Systems Design

DOI10.1561/1000000001MaRDI QIDQ5898656zbMATH OpenOpenAlexDBLPWikidataFDO

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

zbMATH Keywords

hybrid system tools

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65) Computer system organization (68M99)

Recommendations

• Languages and Tools for Hybrid Systems Design
• Abstractions for hybrid systems
• scientific article; zbMATH DE number 822580
• scientific article; zbMATH DE number 826371

Cited in

(17)

• A type-based analysis of causality loops in hybrid systems modelers
• Modelling framework for artificial hybrid dynamical systems
• A survey of timed automata for the development of real-time systems
• Cyber-physical systems
• Hybrid Systems: Computation and Control
• Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
• From hybrid data-flow languages to hybrid automata: a complete translation
• Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
• Some problems of analysis of hybrid automata
• Verification of Hybrid Systems
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Hybrid systems in automotive electronics design
• Non-standard semantics of hybrid systems modelers
• A formal model for a hybrid programming language
• Mixed logical dynamical modeling of discrete-time hybrid fractional systems
• Approximating Behaviors in Embedded System Design
• Moded and continuous abstract state machines

Describes a project that uses

Uses Software

• PHAVer
• HyTech

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)