Sökning: "Logical Framework"

Visar resultat 21 - 25 av 78 avhandlingar innehållade orden Logical Framework.

  1. 21. Model-based execution monitoring

    Författare :Marcus Bjäreland; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : The task of monitoring the execution of a software-based controller in order to detect, classify, and recover from discrepancies between the actual effects of control actions and the effects predicted by a model, is the topic of this thesis. Model-based execution monitoring is proposed as a technique for increasing the safety and optimality of operation of large and complex industrial process controllers, and of controllers operating in complex and unpredictable environments (such as unmanned aerial vehicles). LÄS MER

  3. 22. Guds karneval : en religionspsykologisk studie av Toronto-vekkelsens spiritualitet

    Författare :Dagfinn Ulland; Centrum för teologi och religionsvetenskap; []
    Nyckelord :HUMANIORA; HUMANITIES; Boily spirituality; Toronto; Blessing; Christianity; Religious Studies and Theology; Kristendom; ecstasy; Religion och teologi;

    Sammanfattning : The purpose of this dissertation was to study how to interpret ecstatic spirituality, illustrated by the Toronto Blessing, from a religio-psycho¬logical point of view. The study is a qualitative research based on inter¬views, field observations and written documents. LÄS MER

  4. 23. Hierarchical Real Time Scheduling and Synchronization

    Författare :Moris Behnam; Mikael Sjödin; Thomas Nolte; Björn Andersson; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer engineering; Datorteknik; Datavetenskap;

    Sammanfattning :   The Hierarchical Scheduling Framework (HSF) has been introduced to enable compositional schedulability analysis and execution of embedded software systems with real-time constraints. In this thesis, we consider a system consisting of a number of semi-independent components called subsystems, and these subsystems are allowed to share logical resources. LÄS MER

  5. 24. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics

    Författare :Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; two-dimensional semantics; quantified modal logic; propositional attitudes; belief ascriptions; Kripke; descriptivism; necessity; apriority; analyticity; Theoretical Philosophy; teoretisk filosofi;

    Sammanfattning : A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. LÄS MER

  7. 25. Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies

    Författare :Hugo Flordal; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; nonblocking; finite state automata; verification; controllability; Discrete event systems; model reduction; synthesis; interlocking; supervisory control;

    Sammanfattning : The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. LÄS MER