Requirements for hybrid cosimulation standards
From MaRDI portal
Publication:2988935
DOI10.1145/2728606.2728629zbMath1366.68352OpenAlexW2008630245MaRDI QIDQ2988935
Michael Masin, Edward A. Lee, Michael Wetter, Lev Greenberg, David Broman, Stavros Tripakis
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
Related Items (31)
HYST ⋮ ProbReach ⋮ Behavioural Models for FMI Co-simulations ⋮ A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars ⋮ Reach-avoid problems with time-varying dynamics, targets and constraints ⋮ An improved algorithm for robust safety analysis of sampled data systems ⋮ What's decidable about recursive hybrid automata? ⋮ Bounded-rate multi-mode systems based motion planning ⋮ A sufficient condition for the boundedness of matrix products accepted by an automaton ⋮ Efficient finite abstraction of mixed monotone systems ⋮ Compositional construction of approximate abstractions ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals ⋮ Probabilistic diagnosability of hybrid systems ⋮ Dynamic scheduling for networked control systems ⋮ Closed loop analysis of control command software ⋮ Real-time control under clock offsets between sensors and controllers ⋮ A delta-sampling verification theorem for discrete-time, possibly discontinuous systems ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Statistical verification of dynamical systems using set oriented methods ⋮ Requirements for hybrid cosimulation standards ⋮ SpaTeL ⋮ Computing the Skorokhod distance between polygonal traces ⋮ First steps toward formal controller synthesis for bipedal robots ⋮ Vulnerability analysis of dynamical power networks to stochastic link failure attacks ⋮ Temporal logic motion planning using POMDPs with parity objectives ⋮ Reactive synthesis from signal temporal logic specifications ⋮ Estimator-based reactive synthesis under incomplete information ⋮ Cross-entropy temporal logic motion planning ⋮ Stability and stabilization of polynomial dynamical systems using Bernstein polynomials ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
Cites Work
This page was built for publication: Requirements for hybrid cosimulation standards
