Sciweavers

46 search results - page 10 / 10
» The Concurrency Complexity for the Horn Fragment of Linear L...
Sort
View
DEDS
1998
152views more  DEDS 1998»
13 years 5 months ago
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...