Sequential control of trace processes

DOI10.1109/9.948485MaRDI QIDQ4540502zbMATH OpenOpenAlexFDO

Authors Ajay K. Raina

Publication date 21 July 2002

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/9.948485

zbMATH Keywords

controllable maximal sublanguagediscrete-event systemssequential controller synthesisSmedinga's trace process control theorysteady-state behaviorstransient

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete event control/observation systems (93C65)

Review text

The author investigates a sequential extension of Smedinga's trace process control theory. He discusses Smedinga's control of discrete-event systems, introduces the sequential controller synthesis problem and develops the controller synthesis that meets both finite and sequential specifications. In the paper, discrete event processes are specified by their behavior traces, independently of any modeled internal dynamics. A controllable maximal sublanguage and a minimal superlanguage relative to a given specification language are identified. It is shown that controllers for simultaneous transient and steady-state behaviors can be synthesized in a very intuitive way for a large class of trace processes.

Recommendations

• scientific article; zbMATH DE number 4051454
• scientific article; zbMATH DE number 3887558
• On supervisory control of sequential behaviors
• Supervisory Control of a Class of Discrete Event Processes
• A unified approach to control problems in discrete event processes

Cited in

(5)

• Is there a relation between sequential control and continuous control?
• scientific article; zbMATH DE number 4041017 (Why is no real title available?)
• scientific article; zbMATH DE number 4051454 (Why is no real title available?)
• Controlling a process with three different states
• scientific article; zbMATH DE number 744044 (Why is no real title available?)

This page was built for publication: Sequential control of trace processes

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