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

A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Symbolic Supervisory Synthesis on Extended Finite Automata

Sajed Miremadi (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation)
IEEE Transactions on Control Systems Technology (1063-6536). Vol. 20 (2012), 6, p. 1421-1435.
[Artikel, refereegranskad vetenskaplig]

In this paper, we settle some problems that are encountered when modeling and synthesizing complex industrial systems by the supervisory control theory. First, modeling such huge systems with explicit state-transition models typically results in an intractable model. An alternative modeling approach is to use extended finite automata (EFAs), which is an augmentation of ordinary automata with variables. The main advantage of utilizing EFAs for modeling is that more compact models are obtained. The second problem concerns the ease to understand and implement the supervisor. To handle this problem, we represent the supervisor in a modular manner by extending the original EFAs by compact conditional expressions. This will provide a framework for the users where they can both model their system and obtain the supervisor in form of EFAs. In order to be able to handle complex systems efficiently, the models are symbolically represented by binary decision diagrams (BDDs). All computations that are performed in this framework are based on BDD operations. The framework has been implemented in a supervisory control tool and applied to industrially relevant benchmark problems.

Nyckelord: Supervisory control theory, extended finite automata, supervisor representation, symbolic representation, binary decision diagrams



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

Läs mer om Chalmers styrkeområden  

Denna post skapades 2010-09-13. Senast ändrad 2012-10-29.
CPL Pubid: 126154

 

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
Datalogi
Reglerteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


A Seamless Framework for Control Function Generation