Browsing by Author "Rudie, Karen"
Now showing 1 - 2 of 2
Results Per Page
Sort Options
Item The computational complexity of decentralized discrete-event control problems(1993-03) Rudie, Karen; Willems, Jan C.Item Protocol verification using discrete-event systems(1992-11) Rudie, Karen; Wonham, W. Murray