Visible to the public Biblio

Found 109 results

Filters: First Letter Of Title is A  [Clear All Filters]
[A] B C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
A
D. W. Smith, R. G. Sanfelice.  2016.  Autonomous Waypoint Transitioning and Loitering for Unmanned Aerial Vehicles via Hybrid Control. Proceedings of AIAA Guidance, Navigation and Control Conference.
Feitian Zhang, Osama Ennasr, Elena Litchman, Xiaobo Tan.  2016.  Autonomous sampling of water columns using gliding robotic fish: Algorithms and harmful-algae-sampling experiments. IEEE Systems Journal. 10:1271-1281.
S. Chakraborty, M. A. Al Faruque, W. Chang, D. Goswami, M. Wolf, Q. Zhu.  2016.  Automotive Cyber #x2013;Physical Systems: A Tutorial Introduction. IEEE Design Test. 33:92-108.
Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg.  2015.  Automatic Verification of Linear Controller Software. Proceedings of the 12th International Conference on Embedded Software. :217–226.
Park, Junkil, Pajic, Miroslav, Sokolsky, Oleg, Lee, Insup.  2017.  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.
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
Dai, Jin, Lin, Hai.  2014.  Automatic synthesis of cooperative multi-agent systems. Decision and Control (CDC), 2014 IEEE 53rd Annual Conference on. :6173–6178.
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2015.  Automatic Parallelization of Simulink Models for Multi-core Architectures. 12th IEEE International Conference on Embedded Software and Systems.
Cumhur Erkan Tuncali, Georgios Fainekos, Yann-Hang Lee.  2016.  Automatic Parallelization of Multi-rate Block Diagrams of Control Systems on Multi-core Platforms. ACM Transactions on Embedded Computing Systems. 16:ArticleNo15.
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa.  2015.  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.
Georgios Fainekos.  2016.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
Georgios Fainekos.  2017.  AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS.
G. Gay, M. Staats, M. Whalen, M. P. E. Heimdahl.  2015.  Automated Oracle Data Selection Support. IEEE Transactions on Software Engineering. 41:1119-1137.
Heaslip, Kevin.  2010.  Automated Electric Transportation: Transforming America's Transportation Future.
Heaslip, Kevin, Womack, Kevin C, Muhs, Jeff.  2010.  Automated electric transportation: A way to meet America’s critical issues. Leadership and Management in Engineering. 11:23–28.
Heaslip, Kevin.  2010.  Automated electric transportation.
Feuz, Kyle, Cook, Diane J, Rosasco, Cody, Robertson, Kayela, Schmitter-Edgecombe, Maureen.  2015.  Automated detection of activity transitions for prompting. IEEE Transactions on Human-Machine Systems.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul.  2016.  Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter J., Mangharam, Rahul.  2017.  Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–23.
Brugarolas, R., Valero-Sarmiento, J. M., Bozkurt, A., Essick, G..  2016.  Auto-Adjusting Mandibular Repositioning Device for In-Home Use. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Orlando, FL
Bazrafshan, Mohammadhafez, Gatsis, Nikolaos, Taha, Ahmad F, Taylor, Josh A.  2016.  Augmenting the optimal power flow for stability. Decision and Control (CDC), 2016 IEEE 55th Conference on. :4104–4109.
Zhang, Ruohan, Liu, Zhuode, Hayhoe, Mary, Ballard, Dana.  2017.  Attention Guided Deep Imitation Learning. Cognitive Computational Neuroscience (CCN).

\newline https://ccn.societyconference.com/documents/1031/5928d74a68ed3f3c458a258b.pdf

Pajic, M., Tabuada, P., Lee, I., Pappas, G.J..  2015.  Attack-Resilient State Estimation in the Presence of Noise. 54th IEEE Annual Conference on Decision and Control (CDC). :5827–5832.
M. Pajic, I. Lee, G. J. Pappas.  2017.  Attack-Resilient State Estimation for Noisy Dynamical Systems. IEEE Transactions on Control of Network Systems. 4:82-92.
Ivanov, Radoslav, Pajic, Miroslav, Lee, Insup.  2016.  Attack-Resilient Sensor Fusion for Safety-Critical Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems. 15:21:1–21:24.