Project Details
Description
Cyber-physical systems (CPS) consist of interacting computational and physical components. As CPS are becoming
continuously larger in size, more complex in functionality, and more safety-critical in their applications, it is vital to
guarantee their safety and correctness. Autonomous systems, i.e., devices which can act without human intervention
present a central part of cyber-physical systems. These include, e. g., autonomous cars, trains, factories and aerial vehicles.
The autonomy usually relies on some kind of planning techniques. The changes in the environment might invalidate a
precomputed plan during its execution, e. g., due to safety constraints violation. This might make re-planning necessary.
Therefore, we end up with two interconnected problems:
* How can we compute a plan to steer an autonomous system towards a goal?
* How can we ensure that no safety constraints are violated during the system operation?
Status | Finished |
---|---|
Effective start/end date | 27/03/17 → 31/08/18 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.