Requirements for hybrid cosimulation standards

DOI10.1145/2728606.2728629zbMATH Open1366.68352OpenAlexW2008630245MaRDI QIDQ2988935FDOQ2988935

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

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

Mathematics Subject Classification ID

Cites Work

• Continuous system simulation
• Hybrid Systems: Computation and Control
• Title not available (Why is that?)
• THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
• On fixed points of strictly causal functions
• Requirements for hybrid cosimulation standards

Cited In (32)

• Compositional construction of approximate abstractions
• A sufficient condition for the boundedness of matrix products accepted by an automaton
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
• Computing the Skorokhod distance between polygonal traces
• 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
• Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0
• First steps toward formal controller synthesis for bipedal robots
• Real-time control under clock offsets between sensors and controllers
• 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
• Dynamic scheduling for networked control systems
• Closed loop analysis of control command software

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)