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

A study of symbolic tools in automatic control

Arash Vahidi (Institutionen för signaler och system, Reglerteknik och automation)
Göteborg : Chalmers University of Technology, 2002.
[Licentiatavhandling]

Nyckelord: discrete event systems, deadlock avoidance, supervisory control synthesis, formal methods, symbolic model checking, binary decision diagrams, state explosion problem



Denna post skapades 2013-12-11.
CPL Pubid: 188949

 

Institutioner (Chalmers)

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

Ämnesområden

Reglerteknik

Chalmers infrastruktur

Ingår i serie

Technical report L - School of Electrical and Computer Engineering, Chalmers University of Technology. 434