Dr Pushpak Jagtap
vidwan id: 235553
Assistant Professor, Robert Bosch Centre for Cyber-Physical Systems
Indian Institute of Science Bangalore
Expertise
- Computer Science Information Systems
Publications
Publications
No publication activity to display at the moment.
Scopus
h-index
13
CrossRef
Citations
437
h-index
11
Google Scholar
Loading Scholar statistics...
Professional Recognition
No Data Found
There is currently nothing to display here.
Community & Membership
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Bio
Automated Verification and Synthesis of Control Systems, Nonlinear Control Systems,Control of Cyber-Physical Systems, Stochastic Systems, Multi-Agent Systems, and Machine Learning for Control
Personal Details
- Male
- Assistant Professor , Indian Institute of Science Bangalore
- Indian Institute of Science
Related Profiles
Experts (14089+)
View All
Assistant Professor
Assistant Professor
N/A
Assistant Professor
Assistant Professor
Doctor
Assistant Professor (Grade-I)
Assistant Professor
Research Scholar
Junior Research Fellow
Organisations (660+)
View All
Professor
Assistant Professor
Retired Faculty
Professor
Professor
Assistant Professor
Assistant Professor
Assistant Professor
Professor (HAG)
Assistant Professor
Co-Authors (11)
Indian Institute of Technology Madras
Veermata Jijabai Technological Institute
St Xavier`s Catholic College of Engineering
Indian Institute of Technology Roorkee
Indian Institute of Technology Delhi
N/A
National Institute of Technology, Hamirpur
National Institute of Technology Calicut
Birla Institute of Technology and Science
Indian Institute of Science Bangalore
Indian Institute of Science Bangalore
Scholarly Work
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Scholarly Publications
Synthesis of stochastic systems with partial information via control barrier functions
Open AccessTemporal Logic Verification of Stochastic Systems Using Barrier Certificates
Open AccessCompositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems⁎
Open AccessBackstepping design for incremental stability of stochastic hamiltonian systems with jumps
Open Access
10.1109/TAC.2017.2720592
23
23