Modeling, Specification and Controller Synthesis for Discrete Event Systems
Paper in proceeding, 1998
Author
Bengt Lennartson
Chalmers, Signals and Systems, Control and Automation Laboratory
Michael Tittus
Chalmers, Signals and Systems, Control and Automation Laboratory
Martin Fabian
Chalmers, Signals and Systems, Control and Automation Laboratory
Proc of SMC'98, San Diego, CA
698--703-
Subject Categories (SSIF 2011)
Computer and Information Science