Pages that link to "Item:Q5703929"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703929):
Displaying 24 items.
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (Q2949859) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- Rigorous Simulation-Based Analysis of Linear Hybrid Systems (Q3303914) (← links)
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
- Trajectory Based Verification Using Local Finite-Time Invariance (Q3624574) (← links)
- (Q4357424) (← links)
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace (Q5125454) (← links)
- Finite-time stability and stabilisation with polyhedral domains for linear systems (Q5130082) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- Guaranteed control of switched control systems using model order reduction and state-space bisection (Q5240150) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- Robust constrained control of piecewise affine systems through set‐based reachability computations (Q6054837) (← links)
- Outlier‐robust set‐membership estimation for discrete‐time linear systems (Q6092322) (← links)
- Privacy-preserving set-based estimation using partially homomorphic encryption (Q6099919) (← links)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems (Q6175620) (← links)
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement (Q6487327) (← links)
- Data-driven verification and synthesis of stochastic systems via barrier certificates (Q6537278) (← links)
- A model-based approach to testing software control systems described by linear differential equations (Q6619616) (← links)
- Adaptive directions for Bernstein-based polynomial set evolution (Q6623019) (← links)
- Polynomial logical zonotope: a set representation for reachability analysis of logical systems (Q6659176) (← links)
