Yash Pant

Orcid: 0000-0002-2292-6846

According to our database1, Yash Pant authored at least 27 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Learning-Based Modeling of Human-Autonomous Vehicle Interaction for Enhancing Safety in Mixed-Vehicle Platooning Control.
CoRR, 2023

Stochastic Hybrid Model Predictive Control using Gaussian Processes for Systems with Piecewise Residual Dynamics.
Proceedings of the American Control Conference, 2023

2022
Gaussian Process Learning-Based Model Predictive Control for Safe Interactions of a Platoon of Autonomous and Human-Driven Vehicles.
CoRR, 2022

Modeling and Influencing Human Attentiveness in Autonomy-to-Human Perception Hand-offs.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Distributed Traffic Flow Management for Uncrewed Aircraft Systems.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Distributed Trajectory Planning for Multi-rotor UAVs with Signal Temporal Logic Objectives.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles.
Proceedings of the American Control Conference, 2022

2021
Anytime Computation and Control for Autonomous Systems.
IEEE Trans. Control. Syst. Technol., 2021

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
ACM Trans. Cyber Phys. Syst., 2021

DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication.
Proceedings of the IEEE Conference on Control Technology and Applications, 2021

Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications.
Proceedings of the 2021 American Control Conference, 2021

Counterexample-Guided Synthesis of Perception Models and Control.
Proceedings of the 2021 American Control Conference, 2021

Addressing the IEEE AV Test Challenge with Scenic and VerifAI.
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
F1/10: An Open-Source Autonomous Cyber-Physical Platform.
CoRR, 2019

Fly-by-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic.
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Robustness evaluation of computer-aided clinical trials for medical devices.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Temporal logic robustness for general signal classes.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018
Fly-by-logic: control of multi-drone fleets with temporal logic objectives.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017
Smooth operator: Control using the smooth robustness of temporal logic.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016
Robust model predictive control for non-linear systems with input and state constraints via feedback linearization.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Co-design of Anytime Computation and Robust Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Hardware Optimizations for Anytime Perception and Control.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

2014
Peak power reduction in hybrid energy systems with limited load forecasts.
Proceedings of the American Control Conference, 2014

2013
ProtoDrive: an experimental platform for electric vehicle energy scheduling and control.
SIGBED Rev., 2013

2011
AutoPlug: An automotive test-bed for electronic controller unit testing and verification.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011


  Loading...