Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5703929
DOI10.1007/b106766zbMath1078.93005OpenAlexW2502452588MaRDI QIDQ5703929
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106766
Linear systems in control theory (93C05) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (72)
Reachability analysis of linear systems with stepwise constant inputs ⋮ Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Compositional synthesis of state-dependent switching control ⋮ Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ A comparison of zonotope order reduction techniques ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle ⋮ Verification of Hybrid Systems ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Conservative time discretization: a comparative study ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis ⋮ Vertical hierarchical MPC for constrained linear systems ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis ⋮ Comparison of guaranteed state estimators for linear time-invariant 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 ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Robust constrained control of piecewise affine systems through set‐based reachability computations ⋮ Outlier‐robust set‐membership estimation for discrete‐time linear systems ⋮ Privacy-preserving set-based estimation using partially homomorphic encryption ⋮ Nonlinear set membership filter with state estimation constraints via consensus-ADMM ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Constrained polynomial zonotopes ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions ⋮ Safe Self-Triggered Control Based on Precomputed Reachability Sequences ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ Guaranteed control of switched control systems using model order reduction and state-space bisection ⋮ Finite-time stability and stabilisation with polyhedral domains for linear systems ⋮ Understanding deadlock and livelock behaviors in hybrid control systems ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Perfect simulation of a class of stochastic hybrid systems with an application to peer to peer systems ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Approximate bisimulation relations for constrained linear systems ⋮ Numerical invariants through convex relaxation and max-strategy iteration ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Engineering constraint solvers for automatic analysis of probabilistic hybrid automata ⋮ Lagrangian approximations for stochastic reachability of a target tube ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Reachability analysis of linear systems using support functions ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Convergent under-approximations of reachable sets and tubes: a piecewise constant approach ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ A zonotopic framework for functional abstractions ⋮ A dynamic game approach to distributionally robust safety specifications for stochastic systems ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems ⋮ Verification of continuous dynamical systems by timed automata ⋮ Model-invariant viability kernel approximation ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ 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} ⋮ Set operations and order reductions for constrained zonotopes
This page was built for publication: Hybrid Systems: Computation and Control
