Essays about: "temporal logic"
Showing result 1 - 5 of 56 essays containing the words temporal logic.
-
1. SeqLTL and ωLTL
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : Linear Temporal Logic (LTL) is worthwhile for its applications in, among others, model checking, runtime verification and reactive synthesis. However, many useful properties are not expressible in LTL, or not in a natural way. READ MORE
-
2. Multi-Robot Motion Planning Under High-Level Task Specifications
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : This bachelor thesis explores the use of Signal Temporal Logic (STL) and ControlBarrier Functions (CBFs) to address the challenges associated with multi-robot motionplanning under high-level task specifications. STL is a formalism used to specify temporalproperties of signals, while CBFs are used to enforce safety constraints. READ MORE
-
3. Multi-robot coordination and planning with human-in-the-loop under STL specifications : Centralized and distributed frameworks
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Recent urbanization and industrialization have brought tremendous pressure and challenges to modern autonomous systems. When considering multiple complex tasks, cooperation and coordination between multiple agents can improve efficiency in a system. READ MORE
-
4. Stuck in translation: Why public agencies seldom succeed implementing performance budgeting : A case study on output controls of the Swedish Armed Forces
University essay from Stockholms universitet/Företagsekonomiska institutionenAbstract : Despite its benefits, output controls are less prevalent than its counterpart input controls in public sector agencies. Performance budgeting aligns the input of resources with the output of products and services systematically, enabling assessment of the efficiency and effectiveness of organizational activities. READ MORE
-
5. IMPERATIVE MODELS TO DECLARATIVE CONSTRAINTS : Generating Control-Flow Constraints from Business Process Models
University essay from Umeå universitet/Institutionen för datavetenskapAbstract : In complex information systems, it is often crucial to evaluate whether a sequence of activities obtained from a system log complies with behavioural rules. This process of evaluation is called conformance checking, and the most classical approach to specifying the behavioural rules is in the form of flow chartlike process diagrams, e.g. READ MORE