Pushpak Jagtap

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 probabilistic temporal reach-avoid-stay task in uncertain dynamic environment Nonlinear Analysis. Hybrid Systems	2026-09-18	Paper
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
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
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 (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