Applications of CPS technologies used in the planning, functional design, operation and management of facilities for any mode of transportation in order to provide for the safe, efficient, rapid, comfortable, convenient, economical, and environmentally compatible movement of people and goods.
file
Abstract: Cyber-physical systems have been increasingly subject to cyber-attacks including code injection and code reuse attacks. With the tightly coupled nature of cyber components with the physical domain, these attacks have the potential to cause significant damage if critical applications such as automobiles are compromised. Instruction Set Randomization and Address Space Randomization have been commonly proposed to address these types of attacks.
file
To improve the current capabilities of automotive active safety control systems (ASCS) one needs to take into account the interactions between driver/vehicle/ASCS/environment. To achieve this goal, we are proposing a novel approach to collect data from a sensor-equipped vehicle. Motion Sensors (Inertial Measurement Units) are placed on various locations in the car, particularly around the driver's operational environment and moving car components, such as steering wheel, seat, pedals, as well as critical car components (e.g. motor, suspensions).
file
Our results concern using program-slicing to model software components in a CPS, with applications to verification of aviation software.
file
This project addresses the foundational problem of knowledge and limits of knowledge within cyber-physical systems (CPS). A single system observes its environment through sensors and interacts through actuators. Neither is perfect. Thus, the CPS's internal view of the world is blurry and its actions are imprecise. CPS are still analyzed with methods that do not distinguish between truth in the world and an internal view thereof, resulting in a mismatch between the behavior of theoretical models and their real-world counterparts.
file
Traffic control management strategies have been largely focused on improving vehicular traffic flows on highways and freeways but arterials have not been used properly and pedestrians are mostly ignored. New urban arterial designs encourage modal shifts which gives further impetus to devise novel traffic control strategies to more quickly respond to changing conditions and salient events, while balancing safety and efficiency for all users.
file
As self-driving cars are being introduced into road networks, the overall safety and efficiency of the resulting traffic system must be established and it must be guaranteed. This project develops methods to analyze and coordinate networks of fully and partially self-driving vehicles that interact with conventional human-driven vehicles on road grids. The outcomes of the research add to the understanding of more general systems with reconfigurable hierarchical structures and they help create designs with minimal computation and communication delay.
file
Many safety-critical cyber-physical systems rely on advanced sensing capabilities to react to chang- ing environmental conditions. However, cost-effective deployments of such capabilities have remained elusive. Such deployments will require software infrastructure that enables multiple sensor-processing streams to be multiplexed onto a common hardware platform at reasonable cost, as well as tools and methods for validating that required processing rates can be maintained.
file
Automation is being increasingly introduced into every man-made system. The thrust to achieve trustworthy autonomous systems, which can attain goals independently in the presence of significant uncertainties and for long periods of time without any human intervention, has always been enticing. Significant progress has been made in the avenues of both software and hardware for meeting these objectives. However, technological challenges still exist and particularly in terms of decision making under uncertainty.
