Pages that link to "Item:Q5703929"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703929):
Displaying 50 items.
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← 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)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems (Q832032) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems (Q939017) (← links)
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Reachability analysis of linear systems using support functions (Q988781) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Compositional synthesis of state-dependent switching control (Q1623281) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- A comparison of zonotope order reduction techniques (Q1626916) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling (Q1996035) (← links)
- Lagrangian approximations for stochastic reachability of a target tube (Q2021292) (← links)
- Convergent under-approximations of reachable sets and tubes: a piecewise constant approach (Q2027373) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Set operations and order reductions for constrained zonotopes (Q2116675) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle (Q2137077) (← links)
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← 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)
- Vertical hierarchical MPC for constrained linear systems (Q2173988) (← links)
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- On stochastic linear systems with zonotopic support sets (Q2288639) (← links)
- Model-invariant viability kernel approximation (Q2327367) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis (Q2406963) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- Comparison of guaranteed state estimators for linear time-invariant systems (Q2665326) (← links)
- Nonlinear set membership filter with state estimation constraints via consensus-ADMM (Q2681381) (← links)
- Reachability of weakly nonlinear systems using Carleman linearization (Q2695489) (← links)
