Search for dissertations about: "Reachability"

Showing result 21 - 25 of 46 swedish dissertations containing the word Reachability.

  2. 21. Improving IT Architecture Modeling Through Automation : Cyber Security Analysis of Smart Grids

    Author : Margus Välja; Robert Lagerström; Ulrik Franke; Ulrike Steffens; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electrical Engineering; Elektro- och systemteknik;

    Abstract : Contemporary organizations depend on IT to reach their goals but the organizations are constantly adapting to changing market conditions and these changes need to be reflected in the IT architecture. Modeling is often used to manage complex architectures allowing to abstract details and focus on the most important aspects. READ MORE

  4. 22. Verification of Infinite-State Systems : Decision Problems and Efficient Algorithms

    Author : Mats Kindahl; Parosh Aziz Abdulla; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : This thesis presents methods for the verification of distributed systems with infinite state spaces. We consider several verification problems for lossy channel systems, a class of infinite-state systems consisting of finite-state machines that communicate over unbounded, but lossy, FIFO channels. READ MORE

  5. 23. Languages and Tools for Optimization of Large-Scale Systems

    Author : Johan Åkesson; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Paper Machine Modeling; Plate Reactor; Languages for Physical Modeling; Compiler Construction; Dynamic Optimization; Modelica; Optimica; Manual Control; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Abstract : Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and efficient software tools are available. In this thesis, an extension of Modelica, Optimica, targeted at dynamic optimization of Modelica models is proposed. READ MORE

  6. 24. Decision Making and Control for Automotive Safety

    Author : Mohammad Ali; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis proposes a novel automotive safety function that utilizes information about the host vehicle's state and the road ahead to predict and prevent unintended roadway departures. For this purpose predictive threat assessment, decision making and control algorithms are developed. READ MORE

  7. 25. Control and Communication-Schedule Co-design For Networked Control Systems

    Author : Masoud Bahraini; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Model Predictive Control; Networked Control Systems; Robust Invariance; Communication Scheduling;

    Abstract : In a networked control system (NCS), the control loop is closed through a communication medium. This means that sensor measurements and/or control signals can be exchanged through a communication link. READ MORE