scientific article; zbMATH DE number 1444352

From MaRDI portal
Publication:4953393

zbMath0962.93009MaRDI QIDQ4953393

Pravin P. Varaiya, Alexander B. Kurzhanski

Publication date: 18 June 2001


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

On reachability and minimum cost optimal control, Algorithmic analysis of polygonal hybrid systems. I: Reachability, Alexander Borisovich Kurzhanskiĭ (on the occasion of his 75th birthday), From Control Invariant Sets to an Inverse Optimality Perspective on the Constrained Control Design, Hybridization methods for the analysis of nonlinear systems, Properties of the optimal ellipsoids approximating the reachable sets of uncertain systems, Set-based control for disturbed piecewise affine systems with state and actuation constraints, Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once, A novel unified framework for solving reachability and invariance problems, Change-of-bases abstractions for non-linear hybrid systems, Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions, Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes, Understanding deadlock and livelock behaviors in hybrid control systems, An invariant-based approach to the design of hybrid control systems, Safety preserving control synthesis for sampled data systems, Dynamic optimization for reachability problems., Computing reachable states for nonlinear biological models, Hybrid abstractions of affine systems, Reachability analysis of linear systems using support functions, Reachability Analysis and Deterministic Global Optimization of DAE Models, Control design for autonomous vehicles: a dynamic optimization perspective, A zonotopic framework for functional abstractions, Ellipsoidal state estimation for dynamical systems, Symbolic Model Checking of Hybrid Systems Using Template Polyhedra, Trajectory Based Verification Using Local Finite-Time Invariance, Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems, Analysis on reachable set for spacecraft relative motion under low-thrust, Convexity of the set of fixed points generated by some control systems, Ellipsoidal techniques for reachability analysis: Internal approximation, Robust data-driven predictive control using reachability analysis, 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), Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}, Lagrangian methods for approximating the viability kernel in high-dimensional systems