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

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson (Institutionen för signaler och system, Automation) ; Sajed Miremadi (Institutionen för signaler och system, Automation) ; Zhennan Fei (Institutionen för signaler och system, Automation) ; Mona Noori Hosseini (Institutionen för signaler och system, Automation) ; Martin Fabian (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation)
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA) (2012)
[Konferensbidrag, refereegranskat]

In supervisory control theory, a supervisor restricts the plant in order to fulfill given specifications. A problem for larger industrial applications is that the resulting supervisor is not easily implemented and comprehensible for the users. To tackle this problem, an efficient method has recently been introduced to characterize a supervisor by tractable logic conditions, referred to as guards. This approach has been developed for a specific type of automata with variables called extended finite automata (EFAs). An extension of this approach to a more general class of models is presented in this paper. It means that classical supervisory control problems for automata and Petri nets are easily and efficiently solved, but also generalized based on the suggested approach. The synthesis procedure is naturally modeled and efficiently computed based on binary decision diagrams.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2013-01-17. Senast ändrad 2016-02-01.
CPL Pubid: 171159

 

Läs direkt!

Lokal fulltext (fritt tillgänglig)

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


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Produktion
Robotteknik och automation

Chalmers infrastruktur