Sökning: "automaton"
Visar resultat 11 - 15 av 39 uppsatser innehållade ordet automaton.
11. Battery and WiFi aware 3D exploration based on temporal logics
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Unmanned Aerial Vehicle (UAV) exploration is a rising field of interest in recent years. UAVs are agile and able to enter areas that humans cannot, making them ideal for exploration. To this end, many exploration algorithms have been developed and proven to work well in using UAVs. LÄS MER
12. Alternating Control Flow Graph Reconstruction by Combining Constant Propagation and Strided Intervals with Directed Symbolic Execution
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : In this thesis we address the problem of control flow reconstruction in the presence of indirect jumps. We introduce an alternating approach which combines both overand under-approximation to increase the precision of the reconstructed control flow automaton compared to pure over-approximation. LÄS MER
13. Probabilistic Least-violating Control Strategy Synthesis with Safety Rules
Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : We consider the problem of automatic control strategy synthesis for discrete models of robotic systems, where the goal is to travel from some region to another while obeying a given set of safety rules in an environment with uncertain properties. This is a probabilistic extension of the work by Jana Tumová et al. LÄS MER
14. High Level Motion Planningfor a Robot
Kandidat-uppsats, KTH/Skolan för teknikvetenskap (SCI)Sammanfattning : With high level motion planning a robot can betold what to do. The robot could be ordered to do tasks we donot want to do ourselves, such as cleaning, or to do tasks indangerous situations or even to explore new planets. LÄS MER
15. Multi agent control with LTL specifications and abstraction with input memories
Master-uppsats, KTH/ReglerteknikSammanfattning : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. LÄS MER