Visible to the public Biblio

Found 271 results

Filters: First Letter Of Last Name is P  [Clear All Filters]
2018-05-14
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Are interface theories equivalent to contract theories? Twelfth {ACM/IEEE} International Conference on Formal Methods and Models for Codesign, {MEMOCODE} 2014, Lausanne, Switzerland, October 19-21, 2014. :104–113.
Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni{-}Vincentelli.  2014.  Library-based scalable refinement checking for contract-based design. Design, Automation {&} Test in Europe Conference {&} Exhibition, {DATE} 2014, Dresden, Germany, March 24-28, 2014. :1–6.
Poudel, Bikash, Munir, Arslan.  2017.  Design and Evaluation of a Reconfigurable ECU Architecture for Secure, Dependable, and Real-Time Automotive CPS. under review in IEEE Transactions on Dependable and Secure Computing.
Poudel, Bikash, Giri, Naresh Kumar, Munir, Arslan.  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).
Poudel, Bikash, Munir, Arslan.  2017.  Design and Evaluation of a Novel ECU Architecture for Secure and Dependable Automotive CPS. Proc. of IEEE Consumer Communications and Networking Conference (CCNC).
2018-05-11
Ozel, Selim, Skorina, Erik H, Luo, Ming, Tao, Weijia, Chen, Fuchen, Pan, Yixiao, Onal, Cagdas D.  2016.  A composite soft bending actuation module with integrated curvature sensing. IEEE International Conference on Robotics and Automation (ICRA). :4963–4968.
Dimitrov, Velin, Cebry, Nicholas, Onal, Cagdas, Padir, Taskin.  2015.  Towards user-centered design of a robotic prosthetic hand with EMG control interfaces. Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. :14.
Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada.  2017.  SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM Trans. Cyber-Physical Systems.
Amr Alanwar, Henrique Ferraz, Kevin Hsieh, Rohit Thazhath, Paul Martin, João Pedro Hespanha, Mani Srivastava.  2017.  D-SLATS: Distributed Simultaneous Localization and Time Synchronization. Proc. of the ACM MOBIHOC.
Biron, Z Abdollahi, Pisu, Pierluigi.  2015.  Distributed Fault Detection and Estimation for Cooperative Adaptive Cruise Control System in a Platoon. PHM conference.
Biron, Zoliekha Abdollahi, Dey, Satadru, Pisu, Pierluigi.  2017.  Resilient control strategy under Denial of Service in connected vehicles. American Control Conference (ACC), 2017. :4971–4976.
Biron, Zoleikha Abdollahi, Dey, Satadru, Pisu, Pierluigi.  2016.  Sensor Fault Diagnosis of Connected Vehicles under imperfect Communication Network. ASME 2016 Dynamic Systems and Control Conference. :V001T16A003–V001T16A003.
Biron, Z Abdollahi, Pisu, P.  2016.  Sensor and Actuator Fault Detection in Connected Vehicles under a Packet Dropping Network. World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering. 10:1114–1120.
Biron, Zoleikha Abdollahi, Pisu, Pierluigi, HomChaudhuri, Baisravan.  2015.  Observer Design Based Cyber Security for Cyber Physical Systems. Proceedings of the 10th Annual Cyber and Information Security Research Conference. :6.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  Submitted.  Unknown Input Observer Analysis and Design for Networked Control Systems.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh, Sun, Dengfeng.  Submitted.  Unknown Inputs and Network Perturbation Effects on State Estimation for Networked Control Systems.
Taha, Ahmad F, Gatsis, Nikolaos, Dong, Bing, Pipri, Ankur, Li, Zhaoxuan.  2017.  Buildings-to-Grid Integration Framework. arXiv preprint arXiv:1706.05626.
Taha, Ahmad F, Qi, Junjian, Wang, Jianhui, Panchal, Jitesh H.  2015.  Dynamic State Estimation under Cyber Attacks: A Comparative Study of Kalman Filters and Observers. arXiv preprint arXiv:1508.07252.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Time delay analysis for networked control systems with applications to power networks. ASME Journal of Dynamic Systems, Measurement, and Control.
Taha, Ahmad F, Qi, Junjian, Wang, Jianhui, Panchal, Jitesh H.  2016.  Risk Mitigation for Dynamic State Estimation Against Cyber Attacks and Unknown Inputs. IEEE Transactions on Smart Grid.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2015.  Unknown input observer design and analysis for networked control systems. International Journal of Control. 88:920–934.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Stability analysis of networked control systems with unknown inputs. Communication, Control, and Computing (Allerton), 2014 52nd Annual Allerton Conference on. :936–942.
Elmahdi, Ahmed, Taha, Ahmad F, Sun, Dengfeng, Panchal, Jitesh H.  2014.  An optimal general purpose scheduler for networked control systems. Systems, Man and Cybernetics (SMC), 2014 IEEE International Conference on. :234–239.
Taha, Ahmad F, Elmahdi, Ahmed, Panchal, Jitesh H, Sun, Dengfeng.  2014.  Pure Time Delay Analysis for Decentralized Networked Control Systems. ASME 2014 Dynamic Systems and Control Conference. :V003T47A001–V003T47A001.