Biblio
Filters: First Letter Of Title is A [Clear All Filters]
Autonomous Waypoint Transitioning and Loitering for Unmanned Aerial Vehicles via Hybrid Control. Proceedings of AIAA Guidance, Navigation and Control Conference.
.
2016.
Autonomous sampling of water columns using gliding robotic fish: Algorithms and harmful-algae-sampling experiments. IEEE Systems Journal. 10:1271-1281.
.
2016.
Automotive Cyber #x2013;Physical Systems: A Tutorial Introduction. IEEE Design Test. 33:92-108.
.
2016.
Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.
.
2015.
Automatic Verification of Finite Precision Implementations of Linear Controllers. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, P. :153–169.
.
2017.
Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
.
2017.
Automatic synthesis of cooperative multi-agent systems. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6173–6178.
.
2014.
Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
.
2015.
Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms. ACM Transactions on Embedded Computing Systems. 16:ArticleNo15.
.
2016.
Automatic Completion of Distributed Protocols with Symmetry. Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}. :395–412.
.
2015.
Automated Oracle Data Selection Support. IEEE Transactions on Software Engineering. 41:1119-1137.
.
2015.
Automated electric transportation: A way to meet America’s critical issues. Leadership and Management in Engineering. 11:23–28.
.
2010.
.
2010.
Automated detection of activity transitions for prompting. IEEE Transactions on Human-Machine Systems.
.
2015.
Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
.
2016.
Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–23.
.
2017.
Auto-Adjusting Mandibular Repositioning Device for In-Home Use. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Orlando, FL
.
2016.
Augmenting the optimal power flow for stability. Decision and Control (CDC), 2016 IEEE 55th Conference on. :4104–4109.
.
2016.
Attention Guided Deep Imitation Learning. Cognitive Computational Neuroscience (CCN).
.
2017.
Attack-Resilient State Estimation in the Presence of Noise. 54th IEEE Annual Conference on Decision and Control (CDC). :5827–5832.
.
2015.
Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
.
2017.
Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.
.
2016.