Searched for: subject%3A%22Temporal%255C+logic%22
(1 - 9 of 9)
document
Pek, Christian (author), Schuppe, Georg Friedrich (author), Esposito, Francesco (author), Tumova, Jana (author), Kragic, Danica (author)
Many tasks require robots to manipulate objects while satisfying a complex interplay of spatial and temporal constraints. For instance, a table setting robot first needs to place a mug and then fill it with coffee, while satisfying spatial relations such as forks need to placed left of plates. We propose the spatio-temporal framework SpaTiaL...
journal article 2023
document
Verdier, C.F. (author), Kochdumper, Niklas (author), Althoff, Matthias (author), Mazo, M. (author)
We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial...
journal article 2022
document
Verdier, C.F. (author)
Control design for modern safety-critical cyber-physical systems still requires significant expert-knowledge, since for general hybrid systems with temporal logic specifications there are no constructive methods. Nevertheless, in recent years multiple approaches have been proposed to automatically synthesize correct-by-construction controllers....
doctoral thesis 2020
document
Kließ, M.S. (author), Jonker, C.M. (author), van Riemsdijk, M.B. (author)
Behaviour support technology is aimed at assisting people in organizing their Activities of Daily Living (ADLs). Numerous frameworks have been developed for activity recognition and for generating specific types of support actions, such as reminders. The main goal of our research is to develop a generic formal framework for representing and...
conference paper 2018
document
Nagaki, K. (author)
Reinforcement learning (RL) is a machine learning technique whereby the controller learns the control law by optimizing the received cumulative amount of reward. A reward is an instantaneous evaluation of the applied action at the current state, given by reward function. However in theory the reward function is assumed to be given, in practice...
master thesis 2015
document
Kuhlmann, K.S. (author)
Since the interest in autonomous driving solutions is massively increasing, the need for good and reliable control algorithms is growing every day. This project studies the performance of safe lane changes of a highly autonomous vehicle given the currently available perception of the environment, vehicle dynamics and desired comfort and speed...
master thesis 2014
document
Adzkiya, D. (author)
Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. These systems are predisposed to describe the timing synchronization between interleaved processes. MPL systems are employed in the analysis and scheduling of infrastructure...
doctoral thesis 2014
document
Dahlan, B. (author)
This thesis presents a method to semi-automate the reasoning about network bounds, namely the backlog and delay. Network Calculus offers a rich theory for modeling network elements. Using the modeling techniques of network calculus, network elements are represented by discrete-time systems whose dynamics are linear in min-plus algebra. From the...
master thesis 2013
document
Dechesne, F. (author), Wang, Y. (author)
Security properties naturally combine temporal aspects of protocols with aspects of knowledge of the agents. Since BAN-logic, there have been several initiatives and attempts to incorporate epistemics into the analysis of security protocols. In this paper, we give an overview of work in the field and present it in a unified perspective, with...
journal article 2010
Searched for: subject%3A%22Temporal%255C+logic%22
(1 - 9 of 9)