Sciweavers

13717 search results - page 31 / 2744
» Control Systems
Sort
View
104
Voted
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
15 years 9 months ago
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications
Yu Ru, Maria Paola Cabasino, Alessandro Giua, Chri...
92
Voted
RSP
2002
IEEE
15 years 7 months ago
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li
111
Voted
RSP
2000
IEEE
121views Control Systems» more  RSP 2000»
15 years 7 months ago
Embedded System Architecture Design Based on Real-Time Emulation
Carsten Nitsch, Karlheinz Weiß, Thorsten Ste...
98
Voted
RTSS
1998
IEEE
15 years 7 months ago
Proportional Share Scheduling of Operating System Services for Real-Time Applications
Kevin Jeffay, F. Donelson Smith, A. Moorthy, James...