2650 search results - page 242 / 530 » Simulation and Control of Reactive Systems |
147
click to vote
MOBIMEDIA
2007
15 years 5 months ago
2007
In this paper we simulate an authorization and delegation system using knowledge based technology. This proposal is part of a visual tool that is intended to be an implementation ...
144
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Given the recent interest in non-binary forms of spreading sequences, there is a gap in knowledge on code tracking techniques for noise-like spreading codes. This paper presents t...
154
click to vote
WSC
1997
15 years 5 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
182
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
156
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...