Visible to the public Biblio

Found 271 results

Filters: First Letter Of Last Name is P  [Clear All Filters]
2018-05-15
Jeremy Daily, Rose Gamble, Stephen Moffitt, Connor Raines, Paul Harris, Jannah Miran, Indrakshi Ray, Subhojeet Mukherjee, Hossein Shirazi, James Johnson.  2016.  Towards a Cyber Assurance Testbed for Heavy Vehicle Electronic Controls. SAE Int. J. Commer. Veh.. 9:339-349.

AbstractCyber assurance of heavy trucks is a major concern with new designs as well as with supporting legacy systems. Many cyber security experts and analysts are used to working with traditional information technology (IT) networks and are familiar with a set of technologies that may not be directly useful in the commercial vehicle sector. To help connect security researchers to heavy trucks, a remotely accessible testbed has been prototyped for experimentation with security methodologies and techniques to evaluate and improve on existing technologies, as well as developing domain-specific technologies. The testbed relies on embedded Linux-based node controllers that can simulate the sensor inputs to various heavy vehicle electronic control units (ECUs). The node controller also monitors and affects the flow of network information between the ECUs and the vehicle communications backbone. For example, a node controller acts as a clone that generates analog wheel speed sensor data while at the same time monitors or controls the network traffic on the J1939 and J1708 networks. The architecture and functions of the node controllers are detailed. Sample interaction with the testbed is illustrated, along with a discussion of the challenges of running remote experiments. Incorporating high fidelity hardware in the testbed enables security researchers to advance the state of the art in hardening heavy vehicle ECUs against cyber-attacks. How the testbed can be used for security research is presented along with an example of its use in evaluating seed/key exchange strength and in intrusion detection systems (IDSs).

Ghosal, Sambuddha, Liu, Chao, Passe, Ulrike, He, Shan, Sarkar, Soumik.  2016.  Data-driven persistent monitoring of Indoor Air Systems. Proceedings of the ASHRAE IAQ 2016 Defining Indoor Air Quality: Policy, Standards and Best Practices.
Liu, Chao, Gong, Yongqiang, Laflamme, Simon, Phares, Brent, Sarkar, Soumik.  2016.  Damage Detection of Bridge Network With Spatiotemporal Pattern Network. ASME 2016 Dynamic Systems and Control Conference. :V001T12A003–V001T12A003.
P. Glotfelter, J. Cortes, M. Egerstedt.  2017.  Nonsmooth Barrier Functions with Applications to Multi-Robot Systems. {IEEE} Control Systems Letters.

Accepted for publication

D. Pickem, P. Glotfelter, L. Wang, M. Mote, A. Ames, E. Feron, M. Egerstedt.  2017.  The Robotarium: A Remotely Accessible Swarm Robotics Research Testbed. {IEEE} International Conference on Robotics and Automation.
J. Chai, P. Casau, R. G. Sanfelice.  2017.  Analysis of Event-triggered Control Algorithms using Hybrid Systems Tools. To appear in Proceedings of the IEEE Conference on Decision and Control.
P. Casau, R. Cunha, R. G. Sanfelice, C. Silvestre.  2017.  Hybrid Feedback for Global Asymptotic Stabilization on a Compact Manifold. To appear in Proceedings of the IEEE Conference on Decision and Control.
P. Nanez, R. G. Sanfelice, N. Quijano.  2017.  Passivity Tools for Hybrid DAE Systems with Applications to Switched DAE Systems. To appear in Proceedings of the IEEE Conference on Decision and Control.
Trippel, Caroline, Manerkar, Yatin A, Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret.  2017.  TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems. :119–133.
2018-05-14
Parikh, Gordon, Hourdos, John.  2015.  Simulation Platform for Planning and Operational Evaluation of HOT Lanes. Transportation Research Board 94th Annual Meeting.
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden.  2017.  Runtime enforcement of reactive systems using synchronous enforcers. Proceedings of the 24th {ACM} {SIGSOFT} International {SPIN} Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. :80–89.