Visible to the public Biblio

Found 109 results

Filters: First Letter Of Title is A  [Clear All Filters]
2018-05-16
Lee, Edward A., Reineke, Jan, Zimmer, Michael.  2017.  Abstract PRET Machines. IEEE Real-Time Systems Symposium (RTSS).

Invited TCRTS award paper

Jack H. Lutz, Neil Lutz.  2017.  Algorithmic Information, Plane Kakeya Sets, and Conditional Dimension. 34th Symposium on Theoretical Aspects of Computer Science, {STACS} 2017, March 8-11, 2017, Hannover, Germany. :53:1–53:13.
2018-05-15
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.
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.
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.
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.
S. Phillips, R. G. Sanfelice.  2017.  On Asymptotic Synchronization of Interconnected Hybrid Systems with Applications. Proceedings of the American Control Conference. :2291–2296.
J. Chai, P. Casau, R. G. Sanfelice.  2017.  Analysis of Event-triggered Control Algorithms using Hybrid Systems Tools. To appear in Proceedings of the IEEE Conference on Decision and Control.
R. G. Sanfelice.  2015.  Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach. :3–31.
Hirose, Mitsuhito, Lynch, Jerome P.  2015.  Adaptive feedback control of time varying structures utilizing dual-core wireless sensing and actuation nodes. American Control Conference (ACC), 2015. :1561–1566.
2018-05-14
Kendra Lesser, Meeko Oishi.  2017.  Approximate Safety Verification and Control of Partially Observable Stochastic Hybrid Systems. {IEEE Transactions on Automatic Control}. 62:81–96.
Hourdakis, John.  1997.  AIDDS: A System for Developing and Testing Incident Detection Algorithms. IFAC Proceedings Volumes. 30:119–124.
Hourdos, John.  2005.  Advanced Portable Wireless Measurement and Observation Station.
Hourdos, John, Michalopoulos, Panos.  2008.  Access to Destinations: Twin Cities Metro-wide Traffic Micro-simulation Feasibility Investigation.
Hourdos, John, Garg, Vishnu, Michalopoulos, Panos.  2008.  Accident Prevention Based on Automatic Detection of Accident Prone Traffic Conditions: Phase I.
Davis, Gary A, Hourdos, John, Xiong, Hui, Morris, Ted.  2010.  Access to destinations: Arterial data acquisition and network-wide travel time estimation (phase II).
Feng, Yiheng, Davis, Gary A, Hourdos, John.  2011.  Arterial travel time characterization and real-time traffic condition identification using GPS-equipped probe vehicles. Transportation Research Board 90th Annual Meeting.
Rajeev Alur, Stavros Tripakis.  2017.  Automatic Synthesis of Distributed Protocols. {SIGACT} News. 48:55–90.
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.
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Are interface theories equivalent to contract theories? Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014. :104–113.
2018-05-11
Taha, Ahmad F., Gatsis, Nikolaos, Summers, Tyler, Nugroho, Sebastian.  2017.  Actuator Selection for Cyber-Physical Systems. 2017 American Control Conference, Seattle.
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.
Risbud, Paresh, Gatsis, Nikolaos, Taha, Ahmad.  2016.  Assessing power system state estimation accuracy with GPS-spoofed PMU Measurements. Innovative Smart Grid Technologies Conference (ISGT), 2016 IEEE Power & Energy Society. :1–5.