Compositionally progressive solutions of synchronous FSM equations

DOI10.1007/S10626-007-0031-2MaRDI QIDQ1020554zbMATH OpenOpenAlexDBLPWikidataFDO

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

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

finite state machineslanguage equationssynchronous compositionprogressive solutions

Mathematics Subject Classification ID

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

Recommendations

• Describing progressive solutions to a parallel FSM equation
• Progressive Solutions to FSM Equations
• Progressive solutions to a parallel automata equation
• Progressive solutions to a parallel automata equation
• Design of reactive algorithms by solving equations over automata

Cites work

• scientific article; zbMATH DE number 1949643 (Why is no real title available?)
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• A discrete event systems approach for protocol conversion
• A survey of Petri net methods for controlled discrete event systems
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• Compositionally progressive solutions of synchronous FSM equations
• Progressive solutions to a parallel automata equation
• Progressive solutions to a parallel automata equation

Cited in

(12)

• Factorization for component-interaction automata
• Compositionally progressive solutions of synchronous FSM equations
• Progressive Solutions to FSM Equations
• Using logic to solve the submodule construction problem
• Progressive solutions to a parallel automata equation
• Input/output control of asynchronous sequential machines with races
• Automatic defensive control of asynchronous sequential machines
• Adaptive control of asynchronous sequential machines with state feedback
• Describing progressive solutions to a parallel FSM equation
• Static state feedback control of asynchronous sequential machines
• Progressive solutions to a parallel automata equation
• Solving inequalities over finite state machines in the reactive systems design

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Compositionally progressive solutions of synchronous FSM equations

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