| Publication | Date of Publication | Type |
|---|
Scalable computation of robust control invariant sets of nonlinear systems
IEEE Transactions on Automatic Control | 2024-07-21 | Paper |
Scalable Robust Safety Filter With Unknown Disturbance Set
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets
IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
Adaptive parameter tuning for reachability analysis of nonlinear systems
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
AROC
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Formal Safety Net Control Using Backward Reachability Analysis
IEEE Transactions on Automatic Control | 2023-09-25 | Paper |
Constrained polynomial zonotopes
Acta Informatica | 2023-08-16 | Paper |
A formally verified motion planner for autonomous vehicles
Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
Distributed set-based observers using diffusion strategies
Journal of the Franklin Institute | 2023-07-11 | Paper |
Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
Automatica | 2023-06-26 | Paper |
Privacy-preserving set-based estimation using partially homomorphic encryption
European Journal of Control | 2023-06-21 | Paper |
| M-Representation of Polytopes | 2023-03-09 | Paper |
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
Nonlinear Analysis. Hybrid Systems | 2022-10-14 | Paper |
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Automatica | 2022-03-18 | Paper |
On the co-NP-completeness of the zonotope containment problem
European Journal of Control | 2022-01-19 | Paper |
Comparison of guaranteed state estimators for linear time-invariant systems
Automatica | 2021-11-19 | Paper |
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems
IEEE Transactions on Automatic Control | 2021-05-28 | Paper |
Reachability analysis for hybrid systems with nonlinear guard sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Utilizing dependencies to obtain subsets of reachable sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Set-based control for disturbed piecewise affine systems with state and actuation constraints
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
| Representation of Polytopes as Polynomial Zonotopes | 2019-10-16 | Paper |
| STL model checking of continuous and hybrid systems | 2018-10-25 | Paper |
| Time-triggered conversion of guards for reachability analysis of hybrid automata | 2017-12-01 | Paper |
Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace
(available as arXiv preprint) | 2017-12-01 | Paper |
Convex interpolation control with formal guarantees for disturbed and constrained nonlinear systems
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Reachset Conformance Testing of Hybrid Automata
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Avoiding geometric intersection operations in reachability analysis of hybrid systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Reachability Analysis of Nonlinear Differential-Algebraic Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Reachable set computation for uncertain time-varying linear systems
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Energy-consistent Galerkin approach for the nonlinear dynamics of beams using intrinsic equations
Journal of Vibration and Control | 2013-09-05 | Paper |
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
Nonlinear Analysis. Hybrid Systems | 2010-08-19 | Paper |
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
(available as arXiv preprint) | N/A | Paper |
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
(available as arXiv preprint) | N/A | Paper |
Approximability of the Containment Problem for Zonotopes and Ellipsotopes
(available as arXiv preprint) | N/A | Paper |
