Publications
Export 14 results:
Author Keyword Title Type [ Year] Filters: First Letter Of Title is C [Clear All Filters]
“CAN Coach: Vehicular Control through Human Cyber-Physical Systems”, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
, “Constellation Optimization for Phase-Shift Keying Coherent States With Displacement Receiver to Maximize Mutual Information”, IEEE Access, vol. 8, pp. 224409–224419, 2020.
, “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)
, “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)
, “Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract”, in Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, New York, NY, USA, 2017, pp. 7–7.
, “Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems”, IEEE Transactions on Automation Science and Engineering, vol. 13, pp. 479-490, 2016.
, “Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach”, Autonomous Robots, pp. 503-517, 2015.
, “A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation”, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.
, “Constrained data acquisition for mobile citizen science applications”, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
, “Citizen Science in Support of Vegetation Index and Phenology Research”, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
, “Computing Inverse MEG Signals in the Brain”, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
, “Composing Domain-Specific Design Environments”, IEEE Computer, vol. 34, pp. 44–51, 2001.
,