On intelligent automation systems

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: AMNE:(ENGINEERING AND TECHNOLOGY) AMNE:(Electrical Engineering Electronic Engineering Information Engineering) AMNE:(Robotics) > On intelligent auto...

On intelligent automation systems

Erös, Endre, 1990 (författare): Chalmers tekniska högskola,Chalmers University of Technology

(creator_code:org_t)

ISBN 9789181030037
Gothenburg, 2024
Engelska.

Relaterad länk:: https://research.cha... (primary) (free); visa fler...; https://research.cha...; visa färre...

Doktorsavhandling (övrigt vetenskapligt/konstnärligt)

Abstract Ämnesord

Stäng

Developing automation systems that are capable of handling dynamic and unpredictable situations is a challenging task, as it requires adapting to a changing environment and managing potentially unforeseen action outcomes. In contrast to traditional automation, where control code is explicitly pro- grammed, a model-based approach might be a more appropriate solution for automating such systems. Such an approach allows for integrating planning algorithms, which can enable the generation of control sequences that consider the system’s state. This capability is essential in enabling human-robot col- laboration and handling error recovery and restart. We refer to such a model- based and goal-oriented approach to automation as Intelligent Automation Systems (IAS). To bridge the gap between research and practical utilization, this thesis aims to facilitate the development of IAS by investigating methods for their preparation, control, and testing. A framework for preparation and virtual commissioning of IAS is presented, which compiles the necessary methods into a high-level structure, aiming to streamline the IAS development process. As part of the preparation process, an effort to explain the unsolvability of some planning problems by localiz- ing potential faults in behavior models is presented. Furthermore, this thesis investigates planning and SAT solving methods aimed at improving the effi- ciency of planning, thereby enhancing the responsiveness and adaptability of IAS. A planning and execution framework for IAS is presented, with a focus on handling dynamic and unpredictable systems. Finally, an iterative method for the verification of IAS is presented, where methods such as supervisory con- trol theory, model checking, unit and integration testing, and property-based testing play key roles in ensuring the correct behavior of IAS. Connected to verification, a criterion for assessing the test coverage of IAS is presented. This research contributes to the field of intelligent automation by providing solutions for the development, control, and verification of systems designed for complex and unpredictable environments, aiming to bridge the gap between theory and practice.

Ämnesord

TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)

Nyckelord

automated planning
Automation
testing and coverability.
modeling
virtual preparation and commissioning
robot operating system

Publikations- och innehållstyp

dok (ämneskategori)
vet (ämneskategori)

Hitta via bibliotek

On intelligent automation systems (Sök publikationen i LIBRIS)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Erös, Endre, 199 ...

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Inbäddad systemt ...

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Robotteknik och ...

Av lärosätet: Chalmers tekniska högskola

Sök utanför SwePub

Sök vidare i:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se