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 |
|---|---|---|
| Spatiotemporal tubes for temporal reach-avoid-stay tasks in unknown systems IEEE Transactions on Automatic Control | 2026-03-17 | Paper |
| On incremental stability of interconnected switched systems International Journal of Systems Science. Principles and Applications of Systems and Integration | 2026-02-25 | Paper |
| Approximation-free control for unknown systems with performance and input constraints IEEE Transactions on Automatic Control | 2025-07-11 | Paper |
| Spatiotemporal tubes for reach-avoid-stay specifications | 2025-04-25 | Paper |
| Controller synthesis against omega-regular specifications: a funnel-based control approach International Journal of Robust and Nonlinear Control | 2024-07-23 | Paper |
| COMPLEX LAPLACIAN-BASED DISTRIBUTED CONTROL FOR MULTI-AGENT NETWORK Advances in Complex Systems | 2024-03-27 | Paper |
| Formal safety verification of unknown continuous-time systems Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach IEEE Transactions on Automatic Control | 2023-09-29 | Paper |
| Temporal logic verification of stochastic systems using barrier certificates Automated Technology for Verification and Analysis | 2023-07-28 | Paper |
| Formal Synthesis of Stochastic Systems via Control Barrier Certificates IEEE Transactions on Automatic Control | 2021-07-26 | Paper |
| dtControl Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| dtControl Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Compositional construction of control barrier functions for interconnected control systems Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Compositional Construction of Control Barrier Functions for Interconnected Control Systems (available as arXiv preprint) | 2020-02-01 | Paper |
| Symbolic models for retarded jump-diffusion systems Automatica | 2020-01-20 | Paper |
| Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
Research outcomes over time
This page was built for person: Pushpak Jagtap
