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 4 of 4 for “"Over-approximations"”.
-
Multi-objective control and coordination of multi-agent systems
… communications, waypoint following, and dynamic coverage objectives are presented. Theory relevant to gradient-like control laws designed using over-approximations of the maximum function is studied and applications of developed controllers in simulations and physical experiments are presented. …
-
Automatic simulation-driven reachability using matrix measures
… algorithms is to compute the reach set over-approximations from a set of initial states through numerical simulations. This thesis introduces algorithms for this key step, which relies on computing piece-wise exponential bounds on the rate at which trajectories starting from neighboring …
-
Safe Control and Coordination of Multiple Autonomous Vehicles
… safe trajectory tracking problem and considers overall system stability and safety issues by incorporating elements from hybrid system automata, multiple Lyapunov functions, and modified avoidance functions related to avoidance control. Finally, a novel model predictive control coordination …
-
Dynamic analysis of Cyber-Physical Systems
… exploit sample executions of the system. Moreover, the goal of the dynamic analysis techniques proposed in this thesis is to ensure that the techniques are sound, i.e., they always return the right answer, and they are relatively complete, i.e., the techniques terminate when the system …