scientific article
From MaRDI portal
Publication:3780918
zbMath0638.93004MaRDI QIDQ3780918
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal languagescoordination problemproduct systemcontrollability of sequential behaviorsmodeling of discrete event systems
Controllability (93B05) Formal languages and automata (68Q45) Application models in control theory (93C95) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Synthesis problems (93B50) Circuits, networks (94C99)
Related Items (2)
Modeling data-intensive reactive systems with relational transition systems ⋮ Information-efficient design of an automatic aircraft maintenance supervisor
This page was built for publication: