Sökning: "temporal logics"
Visar resultat 1 - 5 av 18 avhandlingar innehållade orden temporal logics.
1. A Study in the Computational Complexity of Temporal Reasoning
Sammanfattning : Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. LÄS MER
2. Task-oriented control and coordination of multi-agent systems under varying constraints
Sammanfattning : Multi-agent systems (MAS) offer a tremendous potential to improve the quality of modern society life. For instance, robot networks have been widely used for providing services such as search and rescue missions, surveillance and data collection, healthcare and entertainment. LÄS MER
3. Planning and Control of Cooperative Multi-Agent Manipulator-Endowed Systems
Sammanfattning : Multi-agent planning and control is an active and increasingly studied topic of research, with many practical applications, such as rescue missions, security, surveillance, and transportation. More specifically, cases that involve complex manipulator-endowed systems deserve extra attention due to potential complex cooperative manipulation tasks and their interaction with the environment. LÄS MER
4. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks
Sammanfattning : Over the past few decades, significant research has been directed towards addressing the problem of distributed control of multi-agent systems. The overall tasks include consensus, formation, flocking, and coverage control with the wide applications in multi-robot coordination, manufacturing and intelligent transportation systems. LÄS MER
5. Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Tasks
Sammanfattning : Dynamical systems that provably satisfy given specifications have become increasingly important in many engineering areas. For instance, safety-critical systems such as human-robot networks or autonomous driving systems are required to be safe and to also satisfy some complex specifications that may include timing constraints, i.e. LÄS MER