Biblio
Filters: First Letter Of Title is C [Clear All Filters]
.
2016. Constrained Synthesis from Component Libraries. Formal Aspects of Component Software - 13th International Conference, {FACS} 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. :92–110.
.
2016. Compositional Runtime Enforcement. {NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. :82–99.
.
2016. Compositional Semantics and Analysis of Hierarchical Block Diagrams. Model Checking Software - 23rd International Symposium, {SPIN} 2016, Co-located with {ETAPS} 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. :38–56.
.
2015. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.
.
2015. Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Lecture Notes in Computer Science. 9207
.
2017. Cycling Trip Purpose Inference and Route Choice Using GPS Data. under submission.
.
2016. A composite soft bending actuation module with integrated curvature sensing. IEEE International Conference on Robotics and Automation (ICRA). :4963–4968.
.
2015. Control under Clock Offsets and Actuator Saturation. Proc. of the 54th Conf. on Decision and Contr..
.
2017. Control with minimal cost-per-symbol encoding and quasi-optimality of event-based encoders. IEEE Trans. on Automat. Contr.. 62:2286–2301.
.
2016. Comparing Kalman filters and observers for dynamic state estimation with model uncertainty and malicious cyber attacks. arXiv preprint arXiv:1605.01030.
.
2016. Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
.
2016. The Challenges of High-Confidence Medical Device Software. IEEE Computer January Outlook.
.
2017. Closed-loop quantitative verification of rate-adaptive pacemakers. ACM Transactions on Cyber-Physical Systems, to appear.
.
2016. Consensus estimation-based target localization in underwater acoustic sensor networks. International Journal of Robust and Nonlinear Control. 27:1607–1627.
.
2017. Compiling CPS Model Repositories through Student Competitions. 2nd Workshop on Monitoring and Testing of Cyber-Physical Systems.
This talk describes how the Cyber-Physical Systems Virtual Organization (CPS-VO) is hosting competitions for the purpose of improving CPS verication tools. We describe the 2016 Challenge, which focused on quadrotor control and codesign of payload, and the 2017 Challenge which focuses on populating a ground vehicle simulator with realistic obstacles. In addition, the interfaces by which participants compete are described, in order to articulate the means by which models can be decoupled from the system for the purposes of evaluation by external tools.
.
2017. A city edge cloud with its economic and technical considerations. Pervasive Computing and Communications Workshops (PerCom Workshops), 2017 IEEE International Conference on. :599–604.
.
2017. Cyber-Physical Security of a Chemical Plant. 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE). :33-40.
.
2017. Calibration-free network localization using non-line-of-sight ultra-wideband measurements. Proceedings of the 16th {ACM/IEEE} International Conference on Information Processing in Sensor Networks, {IPSN} 2017, Pittsburgh, PA, USA, April 18-21, 2017.
.
2015. coMobile: Real-time Human Mobility Modeling at Urban Scale by Multi-View Learning. ACM SIGSPATIAL 2015.
.
2016. Carpool Service for Large-Scale Taxicab Networks. IEEE Transactions on Sensor Networks.
.
2016. Carpooling Service for Large-Scale Taxicab Networks. ACM Transactions on Sensor Networks.