Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
From MaRDI portal
(Redirected from Publication:2159000)
Abstract: Verification and synthesis of Cyber-Physical Systems (CPS) are challenging and still raise numerous issues so far. In this paper, based on a new concept of mixed sets defined as function images of symbol type domains, a compositional approach combining eager and lazy evaluations is proposed. Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets. Polynotopes extend sparse polynomial zonotopes with typed symbols. Polynotopes can both propagate a mixed encoding of intervals and describe the behavior of logic gates. A functional completeness result is given, as well as an inclusion method for elementary nonlinear and switching functions. A Polynotopic Kalman Filter (PKF) is then proposed as a hybrid nonlinear extension of Zonotopic Kalman Filters (ZKF). Bridges with a stochastic uncertainty paradigm are briefly outlined. Finally, several discrete, continuous and hybrid numerical examples including comparisons illustrate the effectiveness of the theoretical results.
Recommendations
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Hybrid Systems: Computation and Control
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Cites work
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
- A zonotopic framework for functional abstractions
- Affine arithmetic: concepts and applications
- Complete laziness: a natural semantics
- Constrained zonotopes: a new tool for set-based estimation and fault detection
- Convex Polytopes
- Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
- Guaranteed state estimation by zonotopes
- Hybrid Systems: Computation and Control
- Negotiated distributed estimation with guaranteed performance for bandwidth-limited situations
- Reachability analysis for hybrid systems with nonlinear guard sets
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Rigorous integration of flows and ODEs using Taylor models
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Set-invariance characterizations of discrete-time descriptor systems with application to active mode detection
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- The flexible, extensible and efficient toolbox of level set methods
- Types and programing languages
- Worst-case simulation of discrete linear time-invariant interval dynamic systems
- Zonotopes and Kalman observers: gain optimality under distinct uncertainty paradigms and robust convergence
- Zonotopic guaranteed state estimation for uncertain systems
Cited in
(3)
This page was built for publication: Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2159000)
