scientific article; zbMATH DE number 1444352
From MaRDI portal
Publication:4953393
zbMATH Open0962.93009MaRDI QIDQ4953393FDOQ4953393
Authors: Alexander B. Kurzhanski, Pravin Varaiya 
Publication date: 18 June 2001
Title of this publication is not available (Why is that?)
Recommendations
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Ellipsoidal Techniques for Reachability Under State Constraints
- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- scientific article; zbMATH DE number 1799463
- Ellipsoidal approximations in reachability problems with non-ellipsoidal constraints
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Ellipsoidal approximations in reachability problems with nonellipsoidal constraints: internal ellipsoids
- scientific article; zbMATH DE number 4062016
- Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection
time-varying coefficienthybrid systemsreachabilityreachable setsellipsoidal approximationsbounded inputtubes of linear control systems
Cited In (51)
- Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Ellipsoidal Techniques for Reachability Under State Constraints
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Reachability analysis and deterministic global optimization of DAE models
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- An invariant-based approach to the design of hybrid control systems
- Analysis on reachable set for spacecraft relative motion under low-thrust
- Title not available (Why is that?)
- Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint
- Properties of the optimal ellipsoids approximating the reachable sets of uncertain systems
- Reachability problem considering running cost
- Dynamic optimization for reachability problems.
- Ellipsoidal state estimation for dynamical systems
- Reachability analysis of linear systems using support functions
- A zonotopic framework for functional abstractions
- Title not available (Why is that?)
- Trajectory Based Verification Using Local Finite-Time Invariance
- Elliptical safety region plots forCpk
- Convexity of the set of fixed points generated by some control systems
- Smallest Ellipsoid Containing $p$-Sum of Ellipsoids With Application to Reachability Analysis
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- On reachability and minimum cost optimal control
- Hybridization methods for the analysis of nonlinear systems
- Safety preserving control synthesis for sampled data systems
- Ellipsoidal techniques for reachability analysis: Internal approximation
- Reachability sets of hybrid systems in the presence of successive switchings
- A computable and compositional semantics for hybrid systems
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Adaptive directions for Bernstein-based polynomial set evolution
- Control design for autonomous vehicles: a dynamic optimization perspective
- Hybrid abstractions of affine systems
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Change-of-bases abstractions for non-linear hybrid systems
- Hybrid Systems: Computation and Control
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement
- Understanding deadlock and livelock behaviors in hybrid control systems
- A novel unified framework for solving reachability and invariance problems
- Computing reachable states for nonlinear biological models
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Ellipsoidal approximations in reachability problems with nonellipsoidal constraints: internal ellipsoids
- Reach set computation and control synthesis for discrete-time dynamical systems with disturbances
- Robust data-driven predictive control using reachability analysis
- From control invariant sets to an inverse optimality perspective on the constrained control design
- Inner-outer approximation of robust control invariant sets
- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953393)
