1. Control of discrete event systems modeled as hierarchical state machines;Brave;IEEE Trans. Automatic Control,1986
2. An implementation for hybrid continuous variable/discrete event dynamic systems;Binns,1992
3. Viewing hybrid systems as products of control systems and automata;Grossman,1992
4. Modeling hybrid systems as games;Nerode,1992
5. Modeling and analysis of hybrid control systems;Stiver James,1992