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

DOI10.1023/A:1018921310489MaRDI QIDQ1383074zbMATH OpenOpenAlexFDO

Authors 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

automatamodel checkingrobot cellsemi-Makov decision modelsupervisory controltask planning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2089525
• scientific article; zbMATH DE number 2163143
• Supervisory Control with Complete Observations
• scientific article; zbMATH DE number 1820088

Cited in

(2)

• Modeling and analysis of the obstacle-avoidance strategies for a mobile robot in a dynamic environment
• scientific article; zbMATH DE number 2089525 (Why is no real title available?)

Describes a project that uses

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1383074)