Languages and Tools for Hybrid Systems Design

DOI10.1561/1000000001MaRDI QIDQ5900264zbMATH OpenOpenAlexDBLPWikidataFDO

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

Publication date 1 September 2008

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

Mathematics Subject Classification ID

Computer system organization (68M99) Abstract data types; algebraic specification (68Q65)

Cited in

(2)

• Analysis of Linear Hybrid Systems in CLP
• Languages and Tools for Hybrid Systems Design

Describes a project that uses

Uses Software

• TAXYS
• Modelica
• Mathematica
• Scilab
• Simulink
• SPIN

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 Q5900264)