On the corrective control of sequential machines

DOI10.1080/00207179608921696zbMath0855.93009OpenAlexW2046434776MaRDI QIDQ4714640

Jacob Hammer

Publication date: 16 February 1997

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179608921696

zbMATH Keywords

nonlinear controlreliabilitymolecular biologysequential machinesinput/output framework

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Biochemistry, molecular biology (92C40) General systems (93A10) General systems theory (93A99) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Adaptive control of asynchronous sequential machines with state feedback, Bursts and output feedback control of non-deterministic asynchronous sequential machines, Model matching of input/state switched asynchronous sequential machines with the external switching signal, Static state feedback control of asynchronous sequential machines, On the control of incompletely described sequential machines, State feedback control of asynchronous sequential machines with adversarial inputs, Input/output control of asynchronous sequential machines with races, Asynchronous sequential machines with adversarial intervention: the use of bursts, Automatic defensive control of asynchronous sequential machines, On the control of asynchronous sequential machines with infinite cycles

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On observability of discrete-event systems
• On the control of discrete-event dynamical systems
• A calculus of communicating systems
• Observability of discrete event dynamic systems
• Synthesis of feedback control logic for a class of controlled Petri nets
• On supervisor reduction in discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of discrete-event processes with partial observations
• Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
• Communicating sequential processes
• Stability and stabilizability of discrete event dynamic systems
• Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
• On supervisory control of sequential behaviors