5200 search results - page 743 / 1040 » Symbolic models for control systems |
209
click to vote
HASE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
209
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
204
click to vote
DEON
2008
Springer
15 years 9 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
200
click to vote
ISI
2006
Springer
15 years 7 months ago
2006
Springer
Access control mechanisms are commonly used to provide control over who may access sensitive information. However, malicious users can exploit the correlation among the data and in...
191
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper we deal with two problems which are of great interest in the field of distributed decision making and control. The first problem we tackle is the problem of achieving...