Pushpak Jagtap

Available identifiers

zbMath Open jagtap.pushpakMaRDI QIDQ2288644

List of research outcomes

Publication	Date of Publication	Type
Controller synthesis against omega-regular specifications: a funnel-based control approach	2024-07-23	Paper
COMPLEX LAPLACIAN-BASED DISTRIBUTED CONTROL FOR MULTI-AGENT NETWORK	2024-03-27	Paper
Formal safety verification of unknown continuous-time systems	2024-02-21	Paper
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach	2023-09-29	Paper
Temporal logic verification of stochastic systems using barrier certificates	2023-07-28	Paper
Formal Synthesis of Stochastic Systems via Control Barrier Certificates	2021-07-26	Paper
dtControl	2021-01-25	Paper
dtControl	2021-01-25	Paper
Compositional construction of control barrier functions for interconnected control systems	2021-01-25	Paper
Compositional Construction of Control Barrier Functions for Interconnected Control Systems	2020-02-01	Paper
Symbolic models for retarded jump-diffusion systems	2020-01-20	Paper
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps	2018-06-27	Paper

Research outcomes over time

This page was built for person: Pushpak Jagtap