Search for dissertations about: "automatic systems"

Showing result 11 - 15 of 554 swedish dissertations containing the words automatic systems.

2. 11. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis

   Author : Frédéric Haziza; Parosh Aziz Abdulla; Tomáš Vojnar; Uppsala universitet; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; program verification; model checking; parameterized systems; infinite-state systems; reachability; approximation; safety; tree systems; shape analysis; small model properties; view abstraction; monotonic abstraction; Computer Science; Datavetenskap;

   Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE

4. 12. Mobile systems for monitoring Parkinson's disease

   Author : Mevludin Memedi; Mark Dougherty; Silvia Coradeschi; Peter Funk; Jerker Westin; Martin Gellerstedt; Örebro universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic assessments; data visualization; data-driven modelling; home assessments; information technology; mobile computing; objective measures; Parkinson’s disease; quantitative assessments; remote monitoring; spirography; symptom severity; tapping tests; telemedicine; telemetry; time series analysis; web technology; Information technology; Informationsteknologi; Datavetenskap; Computer Science; PAULINA - Uppföljning av Parkinsonsymptom från hemmet;

   Abstract : A challenge for the clinical management of Parkinson's disease (PD) is the large within- and between-patient variability in symptom profiles as well as the emergence of motor complications which represent a significant source of disability in patients. This thesis deals with the development and evaluation of methods and systems for supporting the management of PD by using repeated measures, consisting of subjective assessments of symptoms and objective assessments of motor function through fine motor tests (spirography and tapping), collected by means of a telemetry touch screen device. READ MORE

5. 13. Automatic parallel parking : park assist systems for passenger vehicles

   Author : Pär Degerman; Linköpings universitet; []
   Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

   Abstract : This thesis discusses how the problem of parking a passenger car can be solved. There ane numerous obstacles when creating a fully or semi automated system for assisting the parking maneuver. The obstacles range from unobtrusive Man Machine Interface issues to robust algorithms for finding features in sensor data. READ MORE

6. 14. Towards Automated Support for the Co-Evolution of Meta-Models and Grammars

   Author : Weixing Zhang; Göteborgs universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Blended Modeling; Co-Evolution; Systematic Literature Review; Grammar Optimization; Xtext; Blended Modeling; Systematic Literature Review; Xtext; Grammar Optimization; Co-Evolution;

   Abstract : Blended modeling is an emerging paradigm involving seamless interaction between multiple notations for the same underlying modeling language. We focus on a model-driven engineering (MDE) approach based on meta-models to develop textual languages to improve the blended modeling capabilities of modeling tools. READ MORE

7. 15. Automatic test generation for industrial control software

   Author : Eduard Enoiu; Daniel Sundmark; Mats Heimdahl; Mälardalens högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic test generation; software testing; automated test generation; Computer Science; datavetenskap;

   Abstract : Since the early days of software testing, automatic test generation has been suggested as a way of allowing tests to be created at a lower cost. However, industrially useful and applicable tools for automatic test generation are still scarce. READ MORE