The logical control of an elevator

DOI10.1109/9.376063zbMath0826.93052OpenAlexW2104707571MaRDI QIDQ4837476

Derek N. Dyck, Peter E. Caines

Publication date: 27 November 1995

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/9.376063

zbMATH Keywords

designfinite state machineslogical feedback controller

Mathematics Subject Classification ID

Feedback control (93B52) Formal languages and automata (68Q45) Application models in control theory (93C95) Automated systems (robots, etc.) in control theory (93C85) General systems (93A10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (1)

A formal mathematical framework for modeling probabilistic hybrid systems

This page was built for publication: The logical control of an elevator