A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models

DOI10.1023/A:1018921310489zbMath0895.90107OpenAlexW3007567420MaRDI QIDQ1383074

Tae-Eog Lee, Jin-Hwan Lee

Publication date: 2 April 1998

Published in: Annals of Operations Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018921310489

zbMATH Keywords

supervisory controlautomatamodel checkingtask planningrobot cellsemi-Makov decision model

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Production models (90B30) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) General systems (93A10)

Related Items (1)

Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment

Uses Software

• MWB

This page was built for publication: A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models