5200 search results - page 64 / 1040 » Symbolic models for control systems |
AUTOMATICA
2008
13 years 9 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...
WSC
2008
13 years 11 months ago
2008
We present aspects of a simulated based system for analyzing and designing production control systems. The core of the system is a simulation of a manufacturing system operating w...
ECCC
2000
13 years 8 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in all common artificialneuralnetwork models. Biological synapses are dynamic, ...
IIHMSP
2006
IEEE
14 years 2 months ago
2006
IEEE
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
CPE
2003
Springer
14 years 2 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...