List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Safety critical control of a system with element-wise estimation of unknown time-varying parameters International Journal of Robust and Nonlinear Control | 2026-01-15 | Paper |
| $p$-Safe Analysis of Stochastic Hybrid Processes IEEE Transactions on Automatic Control | 2021-03-12 | Paper |
| Nonnegative Polynomial with no Certificate of Nonnegativity in the Simplicial Bernstein Basis | 2017-10-12 | Paper |
| Safety verification of piecewise-deterministic Markov processes Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Compositional safety analysis using barrier certificates Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
| Control to facet for polynomial systems Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Converse Barrier Certificate Theorems IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
| Complete abstractions of dynamical systems by timed automata Nonlinear Analysis. Hybrid Systems | 2013-08-27 | Paper |
| Verification of continuous dynamical systems by timed automata Formal Methods in System Design | 2012-03-09 | Paper |
Research outcomes over time
This page was built for person: Christoffer Sloth
