The Unknown Component Problem

DOI10.1007/978-0-387-68759-9MaRDI QIDQ3114245zbMATH OpenOpenAlexFDO

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

Publication date 2 February 2012

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

zbMATH Keywords

automatacomponent problemfinite state machineslanguage equationssequential circuitssequential networkssupervisory control problemsynthesis problem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1059229
• scientific article; zbMATH DE number 702316
• Componentwise enclosure for solutions of least squares problems and underdetermined systems
• Theoretical limits of component identification in a separable nonlinear least-squares problem
• scientific article; zbMATH DE number 3870499
• scientific article; zbMATH DE number 1076336
• scientific article; zbMATH DE number 749541
• scientific article; zbMATH DE number 1233949
• A Unitarily Constrained Total Least Squares Problem in Signal Processing

Cited in

(6)

• Static and dynamic property-preserving updates
• The quotient in preorder theories
• Most General Property-Preserving Updates
• Equivalence checking and intersection of deterministic timed finite state machines
• Learning communicating state machines
• Hypercontracts

This page was built for publication: The Unknown Component Problem

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