Non-standard semantics of hybrid systems modelers

DOI10.1016/J.JCSS.2011.08.009MaRDI QIDQ439952zbMATH OpenOpenAlexFDO

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

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 analysiscompilation of hybrid systemsconstructive semanticshybrid systems modelersKahn process networksnon-standard semantics

Mathematics Subject Classification ID

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

Recommendations

• A Hybrid Denotational Semantics for Hybrid Systems
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• A type-based analysis of causality loops in hybrid systems modelers

Cites work

• scientific article; zbMATH DE number 4075056 (Why is no real title available?)
• scientific article; zbMATH DE number 44113 (Why is no real title available?)
• scientific article; zbMATH DE number 41285 (Why is no real title available?)
• scientific article; zbMATH DE number 193633 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 1231624 (Why is no real title available?)
• scientific article; zbMATH DE number 2034460 (Why is no real title available?)
• scientific article; zbMATH DE number 827355 (Why is no real title available?)
• scientific article; zbMATH DE number 861256 (Why is no real title available?)
• scientific article; zbMATH DE number 2238002 (Why is no real title available?)
• A type-based analysis of causality loops in hybrid systems modelers
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• Compositional and uniform modeling of hybrid systems
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• Hybrid Systems: Computation and Control
• Languages and Tools for Hybrid Systems Design
• Modelling of Complex Systems: Systems as Dataflow Machines
• Properties of solutions of ordinary differential equations with small parameters
• SUNDIALS
• The algorithmic analysis of hybrid systems

Cited in

(15)

• Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
• A denotational semantics of simulink with higher-order UTP
• A type-based analysis of causality loops in hybrid systems modelers
• A type-based analysis of causality loops in hybrid systems modelers
• Constructive collisions
• Toward a theory of superdense time in simulation models
• Non-autonomous higher-order Moreau's sweeping process: well-posedness, stability and Zeno trajectories
• Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models
• Programming with Infinitesimals: A While-Language for Hybrid System Modeling
• A Nonstandard Functional Programming Language
• A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
• A Survey on Analog Models of Computation
• From hybrid automata to DAE-based modeling
• Dynamical systems coupled with monotone set-valued operators: formalisms, applications, well-posedness, and stability
• Control: a perspective

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439952)