Zélus

DOI10.1145/2461328.2461348zbMath1361.68026OpenAlexW2118165464MaRDI QIDQ2986915

Timothy Bourke, Marc Pouzet

Publication date: 16 May 2017

Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2461328.2461348

zbMATH Keywords

hybrid systemshybrid automatatype systemssynchronous languagesblock diagrams

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Formal languages and automata (68Q45) Theory of programming languages (68N15) Hybrid systems of ordinary differential equations (34A38)

Related Items (6)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ On the semantics of polychronous polytimed specifications ⋮ A type-based analysis of causality loops in hybrid systems modelers ⋮ Zelus ⋮ Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow ⋮ A denotational semantics of simulink with higher-order UTP

Uses Software

• SUNDIALS
• SpaceEx
• Charon

Cites Work

• A note on two problems in connexion with graphs
• Enhancing model checking in verification by AI techniques
• Receding horizon control for temporal logic specifications
• Model Repair for Probabilistic Systems
• Markov decision processes and regular events
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Zélus