Biblio
Filters: First Letter Of Title is S [Clear All Filters]
.
2017. Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness. {IEEE} International Conference on Robotics and Automation.
.
Submitted. Safe Markov Chains for Density Control of ON/OFF Agents with Observed Transitions. {IEEE} Transactions in Automatic Control.
.
2017. Safe Open-Loop Strategies for Handling Intermittent Communications in Multi-Robot Systems. {IEEE} International Conference on Robotics and Automation.
.
2014. A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal. Workshop on Medical Cyber Physical Systems.
.
2017. Safety Assessment and Design of Dependable Cybercars: For today and the future. IEEE Consumer Electronics Magazine. 6:69-77.
.
2017. Safety Barrier Certificates for Collisions-Free Multi-robot Systems. {IEEE} Transactions on Robotics. 33:661-674.
.
2017. Safety Barrier Certificates for Collisions-Free Multirobot Systems. IEEE Transactions on Robotics.
.
2016. Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. American Control Conference.
.
2012. A Safety Case Pattern for Model-Based Development Approach. Proceedings of the 4$^{th}$ NASA Formal Methods Symposium. :223–243.
.
2011. Safety-Assured Development of the GPCA Infusion Pump Software. {EMSOFT}. :155–164.
.
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.
.
2014. Safety-critical Medical Device Development using the UPP2SF Model Translation Tool. ACM Transactions on Embedded Computing. 13},foo number = {4s
.
2016. Safety-Related Guidelines for Time-of-Day Changes in Left-Turn Phasing. Transportation Research Record: Journal of the Transportation Research Board. :100–107.
.
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.
.
2015. Scalable Multidimensional Uncertainty Evaluation Approach to Strategic Air Traffic Flow Management. AIAA Modeling and Simulation Technologies Conference.
.
2015. Scalable Safety-Preserving Robust Control Synthesis for Continuous-Time Linear Systems. {IEEE Transactions on Automatic Control}. 60
.
2017. A Scalable Sampling Method to High-Dimensional Uncertainties for Optimal and Reinforcement Learning-Based Controls. IEEE Control Systems Letters. 1:98–103.
.
2017. Scalable Uncertainty-Aware Truth Discovery in Big Data Social Sensing Applications for Cyber-Physical Systems. IEEE Transactions on Big Data.
.
2017. Scalable Underapproximation for Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems using Fourier Transforms. {IEEE} Conference on Decision and Control.
to appear
.
2017. Scalable Underapproximation for the Stochastic Reach-Avoid Problem for High-Dimensional LTI Systems Using Fourier Transforms. IEEE Control Systems Letters. 1:316–321.
.
2017. Scalable User-Substation Assignment with Big Data from Power Grids. IEEE Transactions on Big Data. PP:1-14.
.
2016. Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
.
2016. Scheduling of Control Nodes for Improved Network Controllability. {IEEE} Conference on Decision and Control. :1859–1864.
.
2012. SCORE: Smart-Grid Common Open Research Emulator. The 3rd IEEE International Conference on Smart Grid Communications (IEEE SmartGridComm).