| Publication | Date of Publication | Type |
|---|
The occupation kernel method for nonlinear system identification
SIAM Journal on Control and Optimization | 2024-06-14 | Paper |
Star-based reachability analysis of deep neural networks
| 2024-03-14 | Paper |
Reachability analysis of deep ReLU neural networks using facet-vertex incidence
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Reachability analysis of a general class of neural ordinary differential equations
| 2023-01-18 | Paper |
Neural network repair with reachability analysis
| 2023-01-18 | Paper |
Robustness verification of semantic segmentation neural networks using relaxed reachability
| 2022-03-25 | Paper |
Dynamic mode decomposition for continuous time systems with the Liouville operator
Journal of Nonlinear Science | 2022-01-03 | Paper |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Formal Aspects of Computing | 2021-09-14 | Paper |
Verification of deep convolutional neural networks using ImageStars
| 2021-02-04 | Paper |
Improved geometric path enumeration for verifying ReLU neural networks
| 2021-02-04 | Paper |
Reachability analysis for high-index linear differential algebraic equations
| 2020-05-05 | Paper |
Guest Editorial: Recent Advances in Control and Verification for Hybrid Systems
IET Control Theory & Applications | 2020-03-24 | Paper |
Decoupling abstractions of non-linear ordinary differential equations
| 2020-01-03 | Paper |
Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
Journal of Automated Reasoning | 2019-10-25 | Paper |
Numerical verification of affine systems with up to a billion dimensions
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
The Occupation Kernel Method for Nonlinear System Identification
| 2019-09-25 | Paper |
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint
IEEE Transactions on Automatic Control | 2019-08-12 | Paper |
scientific article; zbMATH DE number 6936841 (Why is no real title available?)
| 2018-09-14 | Paper |
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Order-reduction abstractions for safety verification of high-dimensional linear systems
Discrete Event Dynamic Systems | 2018-01-31 | Paper |
Abnormal data classification using time-frequency temporal logic
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
HYST: a source transformation and translation tool for hybrid automaton models
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Scalable static hybridization methods for analysis of nonlinear systems
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Anonymized reachability of hybrid automata networks
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Safe and stabilizing distributed multi-path cellular flows
Theoretical Computer Science | 2015-05-18 | Paper |
Satellite rendezvous and conjunction avoidance: case studies in verification of nonlinear hybrid systems
FM 2012: Formal Methods | 2012-11-08 | Paper |
