Biblio
Filters: First Letter Of Title is F [Clear All Filters]
Fusing lidar and cellular signals for robust ground and aerial autonomous navigation. Proceedings of Southern California Robotics Symposium.
.
2017.
Fundamental Limits on Sensing Capacity for Sensor Networks and Compressed Sensing. CoRR. abs/0804.3439
.
2008.
Fundamental Limits of Cyber-Physical Systems Modeling. ACM Transactions on Cyber-Physical Systems. 1:26.
.
2016.
Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers. IEEE International Conference on Automation Science and Engineering.
.
2017.
Functional Alarms for Systems of Interoperable Medical Devices. 15th International {IEEE} Symposium on High-Assurance Systems Engineering ({HASE} 2014). :247–248.
.
2014.
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study. Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th. :173-184.
.
2012.
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). :1-11.
.
2016.
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014. :96–112.
.
2014.
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. 8415
.
2014.
From images to sentences through scene description graphs using commonsense reasoning and knowledge. arXiv preprint arXiv:1511.03292.
.
2015.
Friendly jamming for secure localization in vehicular transportation. International Conference on Security and Privacy in Communication Systems. :212–221.
.
2014.
A framework for the event-triggered stabilization of nonlinear systems. IEEE Transactions on Automatic Control. 60:982–996.
.
2015.
Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms. Hybrid Systems: Computation and Control. :35–44.
.
2017. \textbf{Best Student Paper Award}
Formation control of Teleoperating Cyber-Physical System subject to time delay and actuator saturation constraints. 2016 IEEE 55th Conference on Decision and Control, CDC 2016.
.
2016.
Formation Control of Teleoperating Cyber-Physical Syste With Time Delay and Actuator Saturation. IEEE Transactions on Control Systems Technology. :1–10.
.
2017.
Formal Verification of Stability Properties of Cyber-physical Systems. CoqPL'16: The Second International Workshop on Coq for PL.
.
2016.
Formal Verification of Hybrid Systems. Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT '11). :273–278.
.
2011.
.
2017.
Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems. ACM Transactions on Embedded Computing Systems (Accepted).
.
2017.
Formal property verification in a conformance testing framework. 12th ACM-IEEE International Conference on Formal Methods and Models for System Design.
.
2014.