Pages that link to "Item:Q5703930"

The following pages link to Hybrid Systems: Computation and Control (Q5703930):

Displaying 43 items.

• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
• Non-standard semantics of hybrid systems modelers (Q439952) (← links)
• Switching-induced stable limit cycles (Q842256) (← links)
• CPO semantics of timed interactive actor networks (Q959824) (← links)
• Dynamical properties of hybrid systems simulators (Q983922) (← links)
• Simulation of systems with dynamically varying model structure (Q1009991) (← links)
• A denotational semantics of simulink with higher-order UTP (Q2096416) (← links)
• Reachability analysis and simulation for hybridised Event-B models (Q2165506) (← links)
• 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)
• (Q3835364) (← links)
• Constructive Collisions (Q5170749) (← links)
• Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
• Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (Q5892457) (← links)
• A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
• Toward a theory of superdense time in simulation models (Q6600099) (← links)