Publications
“Simulations and Flight Experiments of Transition Maneuvers of a VTOL Micro Air Vehicle”, International Journal of Micro Air Vehicles, vol. 2, pp. 69–89, 2010.
, “Simplification of Semantically-Rich Model Transformations Through Generated Transformation Blocks”, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 260-268.
, “Safety and Stability Analysis of the FollowerStopper Traffic Wave Dampening Controller (Late-Breaking Poster)”, in American Control Conference, 2020.
, “Safety and stability analysis of FollowerStopper”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Safety and stability analysis of FollowerStopper.pdf (2 MB)
, 
“Safer Adaptive Cruise Control for Traffic Wave Dampening”, in ACM/IEEE 12th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2021), 2021.
, “Safer Adaptive Cruise Control for Traffic Wave Dampening”, 2020.
CASE%20paper%20draft%20i.pdf (2.47 MB)
, 
“A Safe Autonomous Vehicle Trajectory Domain Specific Modeling Language For Non-Expert Development”, in Proceedings of the International Workshop on Domain-Specific Modeling (DSM 2016), Amsterdam, Netherlands, 2016, pp. 42–48.
, “Runtime Hardware/Software Task Transition Scheduling for Runtime-Adaptable Embedded Systems”, in International Conference on Field-Programmable Technology (ICFPT), 2013, pp. 342-345.
, “Robust Control of Autonomous Vehicle Trajectories”, in AIMS, 2016.
, “Reinforcement Learning for Autonomous Driving using CAT Vehicle Testbed”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Reinforcement Learning for Autonomous Driving.pdf (488.41 KB)
, , 
“Real-Time Traffic Lights Identification using YOLOv3 Algorithm For Autonomous Vehicles”, in CAT Vehicle 2020 Technical Reports, 2020.
Yolov3.pdf (2.22 MB)
, 
“Real-Time Distance Estimation and Filtering of Vehicle Headways for Smoothing of Traffic Waves”, International Conference on Cyber-Physical Systems 2019. Montreal, Canada, 2019.
, “Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction”, AIAA Journal of Guidance, Control, and Dynamics, vol. 35, pp. 138-152, 2012.
, “Reachability Calculations for Automated Aerial Refueling”, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
, “Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic”, Transportation Research Part D: Transport and Environment, vol. 67, 2019.
, ,
“A Pseudo-Derivative Method for Sliding Window Path Mapping in Robotics-Based Image Processing”, Accepted at IEEE International Conference on Robotic Computing, 2019.
Preprint (312.52 KB)
, 
“Provable Detection Of Moving Targets With Reliable Sensors”, University of Arizona, 2011.
, “Programming the Kennedy Receiver for Capacity Maximization versus Minimizing One-shot Error Probability”, in Frontiers in Optics 2020, Online, 2020.
Preprint - Programming Kennedy Receiver (770.34 KB)
, 
“Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems”. IEEE Computer Society, Las Vegas, NV, p. 292, 2011.
, “Proceedings of the 12th Workshop on Domain-specific Modeling”, 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity. ACM, New York, NY, USA, 2012.
, “Proceedings of the 11th Workshop on Domain-Specific Modeling”, ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications. ACM, Portland, OR, 2011.
, “Power Efficient Vehicular Ad Hoc Networks”, WInnComm. Reston, VA, pp. 26-31, 2016.
, “A Passenger Comfort Controller for an Autonomous Ground Vehicle”, in 51st IEEE Conference on Decision and Control, 2012, pp. 3380-3385.
, “On the Partitioning of Syntax and Semantics For Hybrid Systems Tools”, in 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC’05), 2005, pp. 4694–4699.
, “A Paradigm for Teaching Modeling Environment Design”, in OOPSLA’04 Educators Symposium (Poster Session), 2004.
, “An Overseer Control Methodology for Data Adaptable Embedded Systems”, in International Workshop on Multi-Paradigm Modeling (MPM), 2012, pp. 1-6.
, “Online Safety Calculations for Glideslope Recapture”, Innovations in Systems and Software Engineering, vol. 1, pp. 157–175, 2005.
, “The New Metamodeling Generation”, in Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2001, pp. 275–279.
,