Polynomial logical zonotope: a set representation for reachability analysis of logical systems
From MaRDI portal
Publication:6659176
DOI10.1016/j.automatica.2024.111896MaRDI QIDQ6659176
[[Person:6077087|Author name not available (Why is that?)]], K. H. Johansson, Amr Alanwar
Publication date: 8 January 2025
Published in: Automatica (Search for Journal in Brave)
Cites Work
- Constrained zonotopes: a new tool for set-based estimation and fault detection
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
- Rigorously computed orbits of dynamical systems without the wrapping effect
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- A survey on semi-tensor product of matrices
- A distributed Kalman filter with symbolic zonotopes and unique symbols provider for robust state estimation in CPS
- Introduction to Discrete Event Systems
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- Hybrid Systems: Computation and Control
This page was built for publication: Polynomial logical zonotope: a set representation for reachability analysis of logical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6659176)
