scientific article; zbMATH DE number 1956649
From MaRDI portal
Publication:4418863
Recommendations
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Hybrid Systems: Computation and Control
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- scientific article; zbMATH DE number 1444352
Cited in
(36)- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Compositional abstraction refinement for control synthesis
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Hierarchical solution of non-convex optimal control problems with application to autonomous driving
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reachability set of a three-dimensional cascade control system
- Abstractions for hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Nonlinear set membership filter with state estimation constraints via consensus-ADMM
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Finding relevant templates via the principal component analysis
- Accurate hybridization of nonlinear systems
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Trajectory Based Verification Using Local Finite-Time Invariance
- Finite abstractions for hybrid systems with stable continuous dynamics
- Discovering invariants via simple component analysis
- scientific article; zbMATH DE number 1956632 (Why is no real title available?)
- scientific article; zbMATH DE number 2163583 (Why is no real title available?)
- scientific article; zbMATH DE number 1836354 (Why is no real title available?)
- Provably safe and robust learning-based model predictive control
- Reachability computation for polynomial dynamical systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
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 Q4418863)
