Compositionally progressive solutions of synchronous FSM equations

DOI10.1007/S10626-007-0031-2zbMATH Open1161.93322DBLPjournals/deds/YevtushenkoVBPS08OpenAlexW2056297258WikidataQ57380410 ScholiaQ57380410MaRDI QIDQ1020554FDOQ1020554

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

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

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)

Cites Work

• Title not available (Why is that?)
• A survey of Petri net methods for controlled discrete event systems
• Title not available (Why is that?)
• Bisimulation, the supervisory control problem and strong model matching for finite state machines
• Compositionally progressive solutions of synchronous FSM equations
• A discrete event systems approach for protocol conversion
• Progressive solutions to a parallel automata equation
• Progressive solutions to a parallel automata equation
• Title not available (Why is that?)

Cited In (12)

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

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)