Publications
“Generative Programming via Graph Transformations in the Model-Driven Architecture”, in OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, 2002.
, “Provable Detection Of Moving Targets With Reliable Sensors”, University of Arizona, 2011.
, “UAV Search : Maximizing Target Acquisition”, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
, , “Domain Specific Modeling Language for Test World Creation”, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.
Domain Specific Modeling Language for Test World Creation.pdf (77.75 KB)
, 
“Validation of a CRV Model Using TVWS Measurements”, in Proceedings of SDR-WinnComm 2017 Wireless Innovation Conference on Wireless Communications Technologies and Software Defined Radio, San Diego, California, 2017.
Validation of a CRV Model Using TVWS Measurements.pdf (719.32 KB)
, 
“Cognitive Engine Testbed for Vehicular Communications”, in CAT Vehicle Research Experience for Undergraduates, Tucson, Arizona, 2018.
Cognitive Engine Testbed for Vehicular Communications.pdf (1.69 MB)
, 
“Hyperparameter Optimization using Grid Search for use in Monocular Depth Estimation”, in CAT Vehicle 2020 Technical Reports, 2020.
PANE_Research_Paper.pdf (428.32 KB)
, 
“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 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)
, 
“A Sliding Window for Path Mapping based on a Pseudo-Derivative Method in Autonomous Navigation”, in IEEE Vehicular Technology Conference, VTC-2019, Fall, Honolulu, Hawaii, 2019.
, “Constellation Optimization for Phase-Shift Keying Coherent States With Displacement Receiver to Maximize Mutual Information”, IEEE Access, vol. 8, pp. 224409–224419, 2020.
, “Dissipation of Emergent Traffic Waves in Stop-and-Go Traffic Using a Supervisory Controller”, 57th IEEE Conference on Decision and Control, vol. 57. IEEE, Fontainbleau, Miami Beach, USA, 2018.
Preprint (1.5 MB)
Slides at CDC '18 (6.58 MB)
, 

“Model-based engineering with application to autonomy”, in Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy, Wiley, 2019, pp. 255-285.
, “The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications”, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269.
CAT Vehicle Testbed Slides (5.53 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.
, “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)
, 
“Libpanda - A High Performance Library for Vehicle Data Collection”, in The Workshop on Data-Driven and Intelligent Cyber-Physical Systems, Nashville, TN, 2021.
, “A meta-metamodel for dynamic constraint feedback in modeling languages”, in Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, 2019.
, “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.
, “Quantifying air quality benefits resulting from few autonomous vehicles stabilizing traffic”, Transportation Research Part D: Transport and Environment, vol. 67, 2019.
, “Model-Based Configuration of a Heterogeneous Human-in-the-loop Command and Control Simulation Environment”, tbd, vol. tbd, p. (in preparation), 2012.
, “Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver”, in AIAA Guidance, Navigation and Control Conference, 2009, p. 16 pages.
, “Design Validation of Multi-Mode Systems”, University of Arizona, Tucson, AZ, 2013.
, “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.
, “Towards a Standard for Model Specification and Storage”, in Proceedings of the IEEE Systems, Man, and Cybernetics Conference, 2000.
, “Reachability Calculations for Automated Aerial Refueling”, in 47th IEEE Conference on Decision and Control, 2008, pp. 3706-3712.
, “Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction”, AIAA Journal of Guidance, Control, and Dynamics, vol. 35, pp. 138-152, 2012.
, “Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control”, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
,