Switching and Finite Automata Theory
From MaRDI portal
Publication:5320670
DOI10.1017/CBO9780511816239zbMath1222.94047OpenAlexW1543281322MaRDI QIDQ5320670
Publication date: 22 July 2009
Full work available at URL: https://doi.org/10.1017/cbo9780511816239
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)
Related Items
Coordinated static control of asynchronous sequential machines, Efficient static corrective control for model matching and fault tolerance of asynchronous sequential machines, Equivalence checking and intersection of deterministic timed finite state machines, Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system, Model matching of input/state switched asynchronous sequential machines with the external switching signal, Design and implementation of robust corrective control systems with permanent sensor faults, Model matching of input/state asynchronous sequential machines with actuator saturation and bounded delays, Algebraic state space approach to model and control combined automata, Exact fault recovery for asynchronous sequential machines with output bursts, Fault tolerant control for a class of interconnected asynchronous sequential machines, Fault-tolerant control of a class of asynchronous sequential machines with permanent faults, Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems, Equivalence checking of quantum finite-state machines, State feedback corrective control with a self-repair scheme against transient faults, Static feedback control of switched asynchronous sequential machines, Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences, Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines, Burst-feedback corrective control of asynchronous sequential machines in non-fundamental mode, Unnamed Item, Robust corrective control of asynchronous sequential machines with control input and feedback faults, Model matching of switched asynchronous sequential machines via matrix approach, Fault tolerant control of asynchronous sequential machines with transient faults in non-fundamental mode, Semicomputable points in Euclidean spaces, Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults, A simple fault tolerant control for input/output asynchronous sequential machines, Coordinated corrective control for model matching of asynchronous sequential machines
