4689 search results - page 324 / 938 » Analysis and modeling of control tasks in dynamic systems |
184
click to vote
DFG
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
187
click to vote
PAMI
2008
15 years 6 months ago
2008
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
170
click to vote
WSC
2001
15 years 8 months ago
2001
The Washington State Ferries are one of the largest ferry systems in the world. Accidents involving Washington State Ferries are rare events. However, low probability, high conseq...
173
click to vote
DATE
2006
IEEE
16 years 27 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
248
Voted
CAV
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...