Essays about: "correct-by-design."
Showing result 1 - 5 of 6 essays containing the word correct-by-design..
-
1. Digital Twin for Firmware and Artificial Intelligence prototyping
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The forth industrial revolution has risen the born of new mega trends for the improvement of the time to market and the spare of resources in the development and manufacturing of a new product. Among these trends, the Digital Twin (DT) is the one of major interests for developers and strategy analysts. READ MORE
-
2. Tool orchestration for modeling, verification and analysis of collaborating autonomous machines
University essay from Mälardalens högskola/Akademin för innovation, design och teknikAbstract : System-of-systems (SoS) is a collective of multiple system units that have a common purpose. In this thesis, the Volvo Electric Site is investigated as an example case study in which safety and performance properties of collaborating autonomous machines are evaluated and analyzed. READ MORE
-
3. A GUI Design of Robot Motion and Task Planning Based on Linear Temporal Logic
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Recent approaches solve the problem of robot motion and task planningby using formal methods-based model checking algorithms. Inthis work, we consider the software package P-MAS-TG, an automatictool to generate correct-by-design controllers for robot motion and taskplanning. READ MORE
-
4. LTL Motion Planning with Collision Avoidance for A Team of Quadrotors
University essay from KTH/Skolan för elektro- och systemteknik (EES)Abstract : Linear Temporal Logic (LTL), as one of the temporal logic, can generate a fully automated correct-by-design controller synthesis approach for single or multiple autonomous vehicles, under much more complex missions than the traditional point-to-point navigation.In this master thesis, a framework which combines model- checking-based robot motion planning with action planning is proposed based on LTL for-mulas. READ MORE
-
5. Automatic Software Synthesis from High-Level ForSyDe Models Targeting Massively Parallel Processors
University essay from KTH/Skolan för informations- och kommunikationsteknik (ICT)Abstract : In the past decade we have witnessed an abrupt shift to parallel computing subsequent to the increasing demand for performance and functionality that can no longer be satisfied by conventional paradigms. As a consequence, the abstraction gab between the applications and the underlying hardware increased, triggering both industry and academia in several research directions. READ MORE