Requirements for hybrid cosimulation standards

DOI10.1145/2728606.2728629MaRDI QIDQ2988935zbMATH OpenOpenAlexFDO

Authors David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter

Publication date 19 May 2017

Published in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Recommendations

• Behavioural models for FMI co-simulations
• Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0
• Syntax and semantics of the compositional interchange format for hybrid systems
• Hybrid Systems: Computation and Control
• Standards for Simulation: As Simple As Possible But Not Simpler The High Level Architecture For Simulation

Cites work

• scientific article; zbMATH DE number 1638973 (Why is no real title available?)
• Continuous system simulation
• Hybrid Systems: Computation and Control
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS

Cited in

(32)

• Dynamic scheduling for networked control systems
• Closed loop analysis of control command software
• Compositional construction of approximate abstractions
• A sufficient condition for the boundedness of matrix products accepted by an automaton
• Computing the Skorokhod distance between polygonal traces
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Finite state approximation for verification of partially observable stochastic hybrid systems
• Statistical verification of dynamical systems using set oriented methods
• Eliminating spurious transitions in reachability with support functions
• Probabilistic diagnosability of hybrid systems
• What's decidable about recursive hybrid automata?
• Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals
• Estimator-based reactive synthesis under incomplete information
• Behavioural models for FMI co-simulations
• Reach-avoid problems with time-varying dynamics, targets and constraints
• Vulnerability analysis of dynamical power networks to stochastic link failure attacks
• Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
• Reactive synthesis from signal temporal logic specifications
• Efficient finite abstraction of mixed monotone systems
• A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars
• An improved algorithm for robust safety analysis of sampled data systems
• Bounded-rate multi-mode systems based motion planning
• Requirements for hybrid cosimulation standards
• A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
• Cross-entropy temporal logic motion planning
• First steps toward formal controller synthesis for bipedal robots
• Real-time control under clock offsets between sensors and controllers
• Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0
• Temporal logic motion planning using POMDPs with parity objectives
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• HYST: a source transformation and translation tool for hybrid automaton models
• ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

This page was built for publication: Requirements for hybrid cosimulation standards

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