Visible to the public Biblio

Found 172 results

Filters: First Letter Of Title is S  [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]
L. Wang, A. Ames, M. Egerstedt.  2017.  Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness. {IEEE} International Conference on Robotics and Automation.
S. Mayya, M. Egerstedt.  2017.  Safe Open-Loop Strategies for Handling Intermittent Communications in Multi-Robot Systems. {IEEE} International Conference on Robotics and Automation.
[Anonymous].  2014.  A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. Workshop on Medical Cyber Physical Systems.
Munir, Arslan.  2017.  Safety Assessment and Design of Dependable Cybercars: For today and the future. IEEE Consumer Electronics Magazine. 6:69-77.
L. Wang, A. Ames, M. Egerstedt.  2017.  Safety Barrier Certificates for Collisions-Free Multi-robot Systems. {IEEE} Transactions on Robotics. 33:661-674.
A. Ayoub, B. Kim, I. Lee, O. Sokolsky.  2012.  A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
Jiang, Yu, Liu, Han, Song, Houbing, Kong, Hui, Gu, Ming, Sun, Jiaguang, Sha, Lui.  2016.  Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. :757–763.
M. Pajic, Z. Jiang, O. Sokolsky, I. Lee, R. Mangharam.  2014.  Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
Davis, Gary A, Moshtagh, Vahid, Hourdos, John.  2016.  Safety-Related Guidelines for Time-of-Day Changes in Left-Turn Phasing. Transportation Research Record: Journal of the Transportation Research Board. :100–107.
Cem Aksoylar, George K. Atia, Venkatesh Saligrama.  2012.  Sample complexity of salient feature identification for sparse signal processing. {IEEE} Statistical Signal Processing Workshop, {SSP} 2012, Ann Arbor, MI, USA, August 5-8, 2012. :329–332.
Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg.  2016.  Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
Y. Zhao, F. Pasqualetti, J. Cortes.  2016.  Scheduling of Control Nodes for Improved Network Controllability. {IEEE} Conference on Decision and Control. :1859–1864.
Song Tan, Wen-Zhan Song, Dong, Qifen, Lang Tong.  2012.  SCORE: Smart-Grid Common Open Research Emulator. The 3rd IEEE International Conference on Smart Grid Communications (IEEE SmartGridComm).