Pages that link to "Item:Q2988935"
From MaRDI portal
The following pages link to Requirements for hybrid cosimulation standards (Q2988935):
Displayed 31 items.
- A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars (Q2988909) (← links)
- Reach-avoid problems with time-varying dynamics, targets and constraints (Q2988910) (← links)
- An improved algorithm for robust safety analysis of sampled data systems (Q2988911) (← links)
- What's decidable about recursive hybrid automata? (Q2988912) (← links)
- Bounded-rate multi-mode systems based motion planning (Q2988914) (← links)
- A sufficient condition for the boundedness of matrix products accepted by an automaton (Q2988915) (← links)
- Efficient finite abstraction of mixed monotone systems (Q2988916) (← links)
- Compositional construction of approximate abstractions (Q2988917) (← links)
- Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the reals (Q2988918) (← links)
- Probabilistic diagnosability of hybrid systems (Q2988919) (← links)
- Dynamic scheduling for networked control systems (Q2988921) (← links)
- Closed loop analysis of control command software (Q2988922) (← links)
- Real-time control under clock offsets between sensors and controllers (Q2988923) (← links)
- HYST (Q2988924) (← links)
- ProbReach (Q2988926) (← links)
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systems (Q2988928) (← links)
- Eliminating spurious transitions in reachability with support functions (Q2988931) (← links)
- Finite state approximation for verification of partially observable stochastic hybrid systems (Q2988932) (← links)
- Statistical verification of dynamical systems using set oriented methods (Q2988933) (← links)
- Requirements for hybrid cosimulation standards (Q2988935) (← links)
- SpaTeL (Q2988938) (← links)
- Computing the Skorokhod distance between polygonal traces (Q2988939) (← links)
- First steps toward formal controller synthesis for bipedal robots (Q2988940) (← links)
- Vulnerability analysis of dynamical power networks to stochastic link failure attacks (Q2988942) (← links)
- Temporal logic motion planning using POMDPs with parity objectives (Q2988944) (← links)
- Reactive synthesis from signal temporal logic specifications (Q2988945) (← links)
- Estimator-based reactive synthesis under incomplete information (Q2988946) (← links)
- Cross-entropy temporal logic motion planning (Q2988949) (← links)
- Stability and stabilization of polynomial dynamical systems using Bernstein polynomials (Q2988950) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)