Non-standard semantics of hybrid systems modelers

DOI10.1016/j.jcss.2011.08.009zbMath1244.68050OpenAlexW2149466802MaRDI QIDQ439952

Benoît Caillaud, Albert Benveniste, Marc Pouzet, Timothy Bourke

Publication date: 17 August 2012

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2011.08.009

zbMATH Keywords

hybrid systemsnon-standard semanticsnon-standard analysiscompilation of hybrid systemsconstructive semanticshybrid systems modelersKahn process networks

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

A Nonstandard Functional Programming Language ⋮ Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models ⋮ From hybrid automata to DAE-based modeling ⋮ Control: a perspective ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Constructive Collisions ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ Non-autonomous higher-order Moreau's sweeping process: Well-posedness, stability and Zeno trajectories ⋮ Dynamical Systems Coupled with Monotone Set-Valued Operators: Formalisms, Applications, Well-Posedness, and Stability ⋮ A denotational semantics of simulink with higher-order UTP ⋮ A Survey on Analog Models of Computation

Uses Software

• Scilab
• SUNDIALS
• Scicos
• Modelica
• LUSTRE
• Esterel

Cites Work

• SUNDIALS
• The algorithmic analysis of hybrid systems
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• Modelling of Complex Systems: Systems as Dataflow Machines
• Compositional and uniform modeling of hybrid systems
• Properties of solutions of ordinary differential equations with small parameters
• Hybrid Systems: Computation and Control
• A type-based analysis of causality loops in hybrid systems modelers
• Languages and Tools for Hybrid Systems Design
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Non-standard semantics of hybrid systems modelers