Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Safety monitors"”.
-
Automatic Co-Synthesis of Hardware and Software Safety Monitors for Embedded Systems
… such as self-driving vehicles, where safety requires both accurate functionality and real-time guarantees. However, the complexity and the integration of artificial intelligence and machine learning algorithms in autonomous systems challenge conventional test-based verification …
-
Trusted Unmanned Aerial System Operations
… This thesis describes an alternative method that monitors system behavior during runtime and executes a recovery action if any formally specified property is violated. Multiple parallel safety monitors synthesized from linear temporal logic (LTL) formulas capturing the correctness and liveness …
-
Enhancing Trust in Autonomous Systems without Verifying Software
… software controlling them. Application-isolated safety monitors are implemented in configurable hardware to ensure that the behavior of an autonomous system is limited to what is intended. The sensor inputs may be shared with the software, but the output from the monitors is only engaged when the …
-
Evaluating the effectiveness of township tourism initiatives: with specific reference to selected townships in the city of Cape Town, South Africa (2014 – 2024)
… eKasi Culture, including guided tours, tourism safety monitors, car guards and washers, transport services, and cultural performers, which were operational between 2014 and 2024. 4Roomed eKasi Culture draws its inspiration from the four-roomed housing typology of apartheid spatial planning, …
-
Evaluating the effectiveness of township tourism initiatives: with specific reference to selected townships in the city of Cape Town, South Africa (2014 – 2024)
… eKasi Culture, including guided tours, tourism safety monitors, car guards and washers, transport services, and cultural performers, which were operational between 2014 and 2024. 4Roomed eKasi Culture draws its inspiration from the four-roomed housing typology of apartheid spatial planning, …