CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques

Anders Hellgren (Institutionen för signaler och system, Reglerteknik och automation) ; Martin Fabian (Institutionen för signaler och system, Reglerteknik och automation) ; Bengt Lennartson (Institutionen för signaler och system, Reglerteknik och automation)
Proceedings of the 1999 IEEE International Conference on Control Applications, Kohala Coast, Hawaii, USA (1999)
[Konferensbidrag, refereegranskat]

Discrete event systems can be used to model the behaviour of production systems. The supervisory control theory is a suitable tool for synthesising controllers that coordinate the resource utilisation of concurrent products in the production system. Due to the combinatorial state space explosion, computations become intractable for most real life systems. To alleviate this problem, methods that do not enumerate the entire state space are needed. One method that has proven valuable for the verification of concurrent systems is based on partial order principles. For a certain class of production systems it is shown how such ideas may be used to synthesise non-blocking discrete event controllers.



Denna post skapades 2006-09-12. Senast ändrad 2016-02-01.
CPL Pubid: 16012

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Reglerteknik och automation (1900-2004)

Ämnesområden

Information Technology

Chalmers infrastruktur