The following pages link to (Q4953376):
Displaying 50 items.
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Provably safe and robust learning-based model predictive control (Q490551) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Reachability and stabilization of discrete-time affine systems with disturbances (Q665205) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- A control problem for affine dynamical systems on a full-dimensional polytope. (Q1426256) (← links)
- A discrete-event model of asynchronous quantised systems (Q1614387) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming (Q2165452) (← links)
- Conservative time discretization: a comparative study (Q2165508) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems (Q2402231) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Discrete-time hybrid modeling and verification of the batch evaporator process benchmark (Q2512159) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- An invariant-based approach to the design of hybrid control systems (Q2716783) (← links)
- Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
- Succinct discrete time approximations of distributed hybrid automata (Q2985857) (← links)
- Accurate hybridization of nonlinear systems (Q2985859) (← links)
- Compositional analysis for linear control systems (Q2985860) (← links)
- On integration of event-based estimation and robust MPC in a feedback loop (Q2985861) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems (Q2985865) (← links)
- Timed automata with observers under energy constraints (Q2985866) (← links)
- Real-time scheduling of mixture-of-experts systems with limited resources (Q2985868) (← links)
- On a control algorithm for time-varying processor availability (Q2985869) (← links)
- Timed I/O automata (Q2985870) (← links)
- Receding horizon control for temporal logic specifications (Q2985871) (← links)
- Synthesis using approximately bisimilar abstractions (Q2985872) (← links)
- Oscillation analysis of linearly coupled piecewise affine systems (Q2985873) (← links)
- On infinity norms as Lyapunov functions for piecewise affine systems (Q2985874) (← links)
- Identifiability of discrete-time linear switched systems (Q2985875) (← links)
- Rank properties of poincare maps for hybrid systems with applications to bipedal walking (Q2985876) (← links)
- Stealthy deception attacks on water SCADA systems (Q2985877) (← links)
- Comparison of overapproximation methods for stability analysis of networked control systems (Q2985878) (← links)
- Distributed Kalman Filter algorithms for self-localization of mobile devices (Q2985880) (← links)
- Convergence results for ant routing algorithms viastochastic approximation (Q2985881) (← links)
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems (Q2985883) (← links)
- Automatic invariant generation for hybrid systems using ideal fixed points (Q2985884) (← links)
