Sökning: "Formal methods"

Visar resultat 16 - 20 av 461 avhandlingar innehållade orden Formal methods.

1. 16. New methods of teaching? : refroming education in Lao PDR

   Författare :Kongsy Chounlamany; Bounchanh Khounphilaphanh; Britt-Marie Berge; Ann-Louise Silfver; Marianne Bloch; Umeå universitet; []
   Nyckelord :education; reform; new methods of teaching; student-centred education; gender; ethnicity; SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; Education; pedagogik;

   Sammanfattning : This thesis is about the recent education reform in Laos as a global and a local process. When the economy was deteriorating in Lao People’s Democratic Republic (PDR), the so called New Economic Mechanism (NEM) was introduced and the country opened up for global donors and markets. This also had an effect on the education system. LÄS MER

3. 17. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Daniele Magazzeni; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ltl; robot; robotics; multi-agent; behavior synthesis; formal methods; decomposition; high-level planning; multi-objective search; resource constraints; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : While autonomous robot systems are becoming increasingly common, their usage is still mostly limited to rather simple tasks. This primarily results from the need for manually programming the execution plans of the robots. Instead, as shown in this thesis, their behavior can be automatically generated from a given goal specification. LÄS MER

4. 18. Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems

   Författare :Philipp Schillinger; Dimos V. Dimarogonas; Mathias Bürger; Stephen L. Smith; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Multi-Robot Systems; Linear Temporal Logics; LTL; Robotics; Behavior Synthesis; Constrained Planning; Planning under Uncertainty; Multi-Agent Planning; Task Allocation; Mission Decomposition; Formal Methods; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : Autonomous robot systems are becoming increasingly common in service applications and industrial scenarios. However, their use is still mostly limited to rather simple tasks. This primarily results from the considerable effort that is required to manually program the execution plans of the robots. LÄS MER

5. 19. Verification Based Failure Detection for Real-Time Java and Floating-Point Computations

   Författare :Gabriele Paganelli; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Debugging; Floating-Point; Formal Methods; Testing; Real-Time Java; Coverage; Satisfiability Modulo Theories; Certification; Formal Specification;

   Sammanfattning : To err is human, and machines help us avoiding errors. This thesis presents two ways, based on verification technology, to prevent failures.Safety critical Real-Time Java applications usually need a certification. Tests fulfilling specific coverage criteria can be part of such certification, like in the DO-178 standard. LÄS MER

7. 20. Towards Automatic Generation of Formal Models for Highly Automated Manufacturing Systems

   Författare :Ashfaq Hussain Farooqui; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Formal Methods; Automata Learning; Industrial Automation; Operations;

   Sammanfattning : The manufacturing industry is undergoing a digital revolution, often referred to as Industry 4.0. The aim of this revolution is to transform the factories into, so called, smart factories . These smart factories will be modular, decentralized, and interconnected, to achieve higher level automation and flexibility. LÄS MER