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]
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.
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.
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.
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.
G. Gay, M. Staats, M. Whalen, M. P. E. Heimdahl.  2015.  Automated Oracle Data Selection Support. IEEE Transactions on Software Engineering. 41:1119-1137.
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.
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.