ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Global Linearization of Finite State Machines Via Feedback Control
IFAC Proceedings Volumes
◽
10.1016/s1474-6670(17)49216-0
◽
1993
◽
Vol 26
(2)
◽
pp. 689-692
Author(s):
D. Franke
Keyword(s):
Feedback Control
◽
Finite State Machines
◽
State Machines
◽
Finite State
◽
Global Linearization
Download Full-text
Related Documents
Cited By
References
157 Global linearization of finite state machines via feedback control
Control Engineering Practice
◽
10.1016/0967-0661(94)90946-6
◽
1994
◽
Vol 2
(3)
◽
pp. 536
Keyword(s):
Feedback Control
◽
Finite State Machines
◽
State Machines
◽
Finite State
◽
Global Linearization
Download Full-text
An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines
Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106)
◽
10.1109/aspdac.2000.835071
◽
2002
◽
Cited By ~ 1
Author(s):
R. Forth
◽
P. Molitor
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
State Encoding
Download Full-text
Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation
ACM Transactions on Parallel Computing
◽
10.1145/3399714
◽
2020
◽
Vol 7
(3)
◽
pp. 1-26
Author(s):
Peng Jiang
◽
Yang Xia
◽
Gagan Agrawal
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
The process of automated knowledge control among technological installations operators modeling using finite-state machines
10.1063/5.0060506
◽
2021
◽
Author(s):
Ivan S. Polevshchikov
◽
Elizaveta B. Krokha
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Automated Knowledge
Download Full-text
Decidability of a class of dual communicating finite state machines
ACM SIGOPS Operating Systems Review
◽
10.1145/230908.230920
◽
1996
◽
Vol 30
(3)
◽
pp. 59-66
Author(s):
H. Mountassir
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
Assessing test suites of extended finite state machines against model‐ and code‐based faults
Software Testing Verification and Reliability
◽
10.1002/stvr.1789
◽
2021
◽
Author(s):
K. El‐Fakih
◽
Ayman Alzaatreh
◽
Uraz Cengiz Türker
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Extended Finite State Machines
◽
Test Suites
Download Full-text
The Design of Finite-State Machines for Quantization Using Simulated Annealing
Proceedings. IEEE International Symposium on Information Theory
◽
10.1109/isit.1993.748759
◽
2005
◽
Cited By ~ 1
Author(s):
E.E. Kuruoglu
◽
E. Ayanoglu
Keyword(s):
Simulated Annealing
◽
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
A technique for proving liveness of communicating finite state machines with examples
Proceedings of the third annual ACM symposium on Principles of distributed computing - PODC '84
◽
10.1145/800222.806734
◽
1984
◽
Cited By ~ 8
Author(s):
M. G. Gouda
◽
C. K. Chang
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
On the class of L*-language formulas that specify finite-memory finite-state machines
Cybernetics and Systems Analysis
◽
10.1007/s10559-010-9177-2
◽
2010
◽
Vol 46
(1)
◽
pp. 1-6
◽
Cited By ~ 3
Author(s):
A. N. Chebotarev
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
Finite Memory
Download Full-text
Verification of timed Finite State Machines
2015 International Siberian Conference on Control and Communications (SIBCON)
◽
10.1109/sibcon.2015.7147095
◽
2015
◽
Author(s):
Galina Kidyarova
◽
Nina Yevtushenko
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close