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 2 of 2 for “"system-level simplex"”.
-
Laboratory course curriculum in cyber-physical systems
The current real-time systems course (CS 424) needed to be revamped to incorporate current trends in industry and research. Consequently, this would include incorporating cyber-physical systems (CPS) into a full-fledged course and laboratory experience. After a first attempt was made, the course …
-
Verifiable COTS-based cyber-physical systems
Cyber-physical systems (CPS) use networked control software to interact with and manipulate the physical world. Examples of cyber-physical systems include smart buildings, power distribution networks, and fleets of autonomous agriculture vehicles. These types of systems are increasingly of interest …