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
Computer and Information Science