The Unknown Component Problem

DOI10.1007/978-0-387-68759-9zbMath1248.68023OpenAlexW2486836532MaRDI QIDQ3114245

Alan Mishchenko, Alexandre Petrenko, Tiziano Villa, Nina Yevtushenko, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton

Publication date: 2 February 2012

Full work available at URL: https://doi.org/10.1007/978-0-387-68759-9

zbMATH Keywords

automatasynthesis problemlanguage equationsfinite state machinessequential networkssequential circuitssupervisory control problemcomponent problem

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (4)

Equivalence checking and intersection of deterministic timed finite state machines ⋮ Unnamed Item ⋮ Most General Property-Preserving Updates ⋮ Static and dynamic property-preserving updates

This page was built for publication: The Unknown Component Problem