Non-standard semantics of hybrid systems modelers
DOI10.1016/J.JCSS.2011.08.009zbMATH Open1244.68050OpenAlexW2149466802MaRDI QIDQ439952FDOQ439952
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
Recommendations
hybrid systemsnon-standard analysiscompilation of hybrid systemsconstructive semanticshybrid systems modelersKahn process networksnon-standard semantics
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cites Work
- SUNDIALS
- Modelling of Complex Systems: Systems as Dataflow Machines
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Languages and Tools for Hybrid Systems Design
- The algorithmic analysis of hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation
- Actors without Directors: A Kahnian View of Heterogeneous Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Compositional and uniform modeling of hybrid systems
- Properties of solutions of ordinary differential equations with small parameters
- Title not available (Why is that?)
- A type-based analysis of causality loops in hybrid systems modelers
Cited In (15)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
- Non-autonomous higher-order Moreau's sweeping process: well-posedness, stability and Zeno trajectories
- A Survey on Analog Models of Computation
- Topological aspects of hybrid processes: a proposed treatment using non-standard analysis
- Toward a theory of superdense time in simulation models
- A type-based analysis of causality loops in hybrid systems modelers
- Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models
- Control: a perspective
- Dynamical systems coupled with monotone set-valued operators: formalisms, applications, well-posedness, and stability
- A type-based analysis of causality loops in hybrid systems modelers
- A Nonstandard Functional Programming Language
- Programming with Infinitesimals: A While-Language for Hybrid System Modeling
- Constructive collisions
- From hybrid automata to DAE-based modeling
- A denotational semantics of simulink with higher-order UTP
Uses Software
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)
