Pages that link to "Item:Q3140095"
From MaRDI portal
The following pages link to Supervisory control of a rapid thermal multiprocessor (Q3140095):
Displayed 17 items.
- Decentralized fault free model approach for fault detection and isolation of discrete event systems (Q386093) (← links)
- Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation (Q434470) (← links)
- Synthesis of Reo circuits from scenario-based interaction specifications (Q541679) (← links)
- Control of parameterized discrete event systems (Q839004) (← links)
- Input/output discrete event processes and communication delays (Q1314850) (← links)
- Control design for nondeterministic input/output automata (Q1662972) (← links)
- Distributed inversion in timed discrete event systems (Q1901411) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Supervisory controller synthesis and implementation for safety PLCs (Q2128091) (← links)
- Modeling for supervisor synthesis -- a lock-bridge combination case study (Q2197591) (← links)
- Grafcet: behavioural issues and control synthesis (Q2512237) (← links)
- A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
- Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems (Q3541194) (← links)
- Supervisory Control of Discrete-Event Systems (Q4560599) (← links)
- Modelling and feedback control for a class of Petri Nets with shared resources subject to strict time constraints using Max-plus algebra (Q5029166) (← links)
- Synthesis of Reo Circuits from Scenario-based Specifications (Q5179203) (← links)
- Supervisory Control with Complete Observations (Q5496921) (← links)