Biblio
Filters: First Letter Of Last Name is M [Clear All Filters]
.
2017. Design and Comparative Evaluation of GPGPU- and FPGA-based MPSoC ECU Architectures for Secure, Dependable, and Real-Time Automotive CPS. Proc. of IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP).
.
2017. IFCIoT: Integrated Fog Cloud IoT: A novel architectural paradigm for the future Internet of Things. IEEE Consumer Electronics Magazine. 6:74-82.
.
2017. Safety Assessment and Design of Dependable Cybercars: For today and the future. IEEE Consumer Electronics Magazine. 6:69-77.
.
2017. Design and Evaluation of a Novel ECU Architecture for Secure and Dependable Automotive CPS. Proc. of IEEE Consumer Communications and Networking Conference (CCNC).
.
2017. Towards scalable and dynamic social sensing using a distributed computing framework. Distributed Computing Systems (ICDCS), 2017 IEEE 37th International Conference on. :966–976.
.
2016. Mood-sensitive truth discovery for reliable recommendation systems in social sensing. Proceedings of the 10th ACM Conference on Recommender Systems. :167–174.
.
2015. Stabilization of networked control systems with clock offset. Proc. of the 2015 Amer. Contr. Conf..
.
2016. L2-Gain Analysis of Systems with Clock Offsets. Proc. of the 2016 Amer. Contr. Conf..
.
2017. Stabilization of systems with asynchronous sensors and controllers. Automatica. 81:314–321.
.
2015. Control under Clock Offsets and Actuator Saturation. Proc. of the 54th Conf. on Decision and Contr..
.
2017. Linear Quadratic Control for Sampled-data Systems with Stochastic Delays. Proc. of the 2017 Amer. Contr. Conf..
To appear
.
2016. Robust Stability under Asynchronous Sensing and Control. Proc. of the 55th Conf. on Decision and Contr..
.
2017. SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
.
Submitted. Stabilization of networked control systems under clock offsets and quantization. IEEE Trans. on Automat. Contr..
.
2015. Real-time Control under Clock Offsets between Sensors and Controllers. Proc. of the 18th Int. Conf. on Hybrid Systems: Computation and Control (HSCC 2015)" month = "Apr..
.
2016. L2-Gain Analysis of Regenerative Switched Linear Systems with Sampled-Data State-Feedback Control. Proc. of the 2016 Amer. Contr. Conf..
.
2017. Node Localization Based on Distributed Constrained Optimization using Jacobi's Method. Proc. of the 56th Conf. on Decision and Contr..
.
2015. Observability of linear systems under adversarial attacks. Proc. of the 2015 Amer. Contr. Conf..
.
2017. D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proc. of the ACM MOBIHOC.
.
2016. Realizing Uncertainty-Aware Timing Stack in Embedded Operating System. Proc. of the Embedded Operating Systems Workshop.
.
2017. Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. :379–400.
.
2016. In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
.
2017. A novel ICD morphology discriminator to improve discrimination between Ventricular and Supraventricular tachycardias. Heart Rhythm Society Scientific Sessions.
.
2017. Real-time Decision Policies with Predictable Performance. Proceedings of the IEEE.
Submitted
.
2016. Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.