Biblio
Filters: First Letter Of Title is S [Clear All Filters]
.
2016. Scalable Verification of Linear Controller Software. Tools and Algorithms for the Construction and Analysis of Systems (TACAS). :662–679.
.
2015. Sensor Attack Detection in the Presence of Transient Faults. Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems. :1–10.
.
2017. Synthesis of Error-Recovery Protocols for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. ACM Trans. Embed. Comput. Syst.. 16:127:1–127:22.
.
2017. Security-Aware Scheduling of Embedded Control Tasks. ACM Trans. Embed. Comput. Syst.. 16:188:1–188:21.
.
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.
.
2016. Sepsis Patient Detection and Monitor Based on Auto-BN. Journal of Medical Systems. 40:111.
.
2017. Study of Software-Related Causes in the FDA Medical Device Recalls. 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS).
.
2016. Software engineering for molecular programming. Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. :888–889.
.
2017. State logging in chemical reaction networks. Proceedings of the 4th {ACM} International Conference on Nanoscale Computing and Communication, {NANOCOM} 2017, Washington, DC, USA, September 27-29, 2017. :23:1–23:6.
.
2017. Scalable User-Substation Assignment with Big Data from Power Grids. IEEE Transactions on Big Data. PP:1-14.
.
2015. Self-triggered and team-triggered control of networked cyber-physical systems. Event-Based Control and Signal Processing. :203-220.
This chapter describes triggered control approaches for the coordination of networked cyber-physical systems. Given the coverage of the other chapters of this book, our focus is on self-triggered control and a novel approach we term team-triggered control.
.
2017. Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
On-line at: \url{http://www-verimag.imag.fr/ maler/Papers/monitor-RV-chapter.pdf}
.
2015. Simultaneous stabilization of pitch and yaw of a gliding robotic fish using sliding mode control. Proceedings of the 2015 ASME Dynamic Systems and Control Conference. :DSCC2015-9915.
.
2016. Scheduling of Control Nodes for Improved Network Controllability. {IEEE} Conference on Decision and Control. :1859–1864.
.
2015. Sensing and Classifying Roadway Obstacles: The Street Bump Anomaly Detection and Decision Support System. Proceedings of the IEEE Int. Conf. on Automation Science and Engineering (CASE). :1288–1293.
.
2016. Sensing and Classifying Roadway Obstacles in Smart Cities: The \emphStreet Bump System. IEEE Access. 4:1301–1312.
.
2018. Statistical Anomaly Detection via Composite Hypothesis Testing for Markov Models. IEEE Trans. on Signal Processing.
accepted
.
2017. Safe Open-Loop Strategies for Handling Intermittent Communications in Multi-Robot Systems. {IEEE} International Conference on Robotics and Automation.
.
2016. Safety Barrier Certificates for Heterogeneous Multi-Robot Systems. American Control Conference.
.
2017. Safe Certificate-Based Maneuvers for Teams of Quadrotors Using Differential Flatness. {IEEE} International Conference on Robotics and Automation.
.
2017. Safety Barrier Certificates for Collisions-Free Multi-robot Systems. {IEEE} Transactions on Robotics. 33:661-674.
.
2015. Synchronization of Two Linear Systems over Intermittent Communication Networks with Robustness. Proceedings of the IEEE Conference on Decision and Control. :5569–5574.
.
2015. Solution of a Riccati equation for the design of an observer contracting a Riemannian distance. Proceedings of the IEEE Conference on Decision and Control. :4996–5001.
.
2017. Sufficient Conditions for Asymptotic Stability and Feedback Control of Set Dynamical Systems. Proceedings of the American Control Conference. :1923–1928.