Compositionally progressive solutions of synchronous FSM equations

DOI10.1007/s10626-007-0031-2zbMath1161.93322OpenAlexW2056297258WikidataQ57380410 ScholiaQ57380410MaRDI QIDQ1020554

Alex Petrenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Nina Yevtushenko, Tiziano Villa

Publication date: 29 May 2009

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-007-0031-2

zbMATH Keywords

language equationsfinite state machinessynchronous compositionprogressive solutions

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items

Using logic to solve the submodule construction problem, Adaptive control of asynchronous sequential machines with state feedback, Static state feedback control of asynchronous sequential machines, Input/output control of asynchronous sequential machines with races, Automatic defensive control of asynchronous sequential machines, Compositionally progressive solutions of synchronous FSM equations

Uses Software

• UMDES

Cites Work

• Compositionally progressive solutions of synchronous FSM equations
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• A survey of Petri net methods for controlled discrete event systems
• A discrete event systems approach for protocol conversion
• Progressive solutions to a parallel automata equation
• Progressive Solutions to a Parallel Automata Equation
• Unnamed Item
• Unnamed Item
• Unnamed Item