Sciweavers

1998 search results - page 96 / 400
» Situated Control Rules
Sort
View
ENTCS
2006
123views more  ENTCS 2006»
15 years 4 months ago
Steering of Discrete Event Systems: Control Theory Approach
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
AE
2003
Springer
15 years 9 months ago
The Evolutionary Control Methodology: An Overview
The ideas proposed in this work are aimed to describe a novel approach based on artificial life (alife) environments for on-line adaptive optimisation of dynamical systems. The bas...
Mauro Annunziato, Ilaria Bertini, M. Lucchetti, Al...
CEC
2008
IEEE
15 years 10 months ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...
HCI
2007
15 years 5 months ago
A Closed-Loop Adaptive System for Command and Control
On Navy ships, technological developments enable crews to work more efficiently and effectively. However, in such complex, autonomous, and information-rich environments a competiti...
Tjerk de Greef, Henryk Arciszewski
139
Voted
WSC
2000
15 years 5 months ago
Look-ahead strategies for controlling batch operations in industry: overview, comparison and exploration
Batching jobs in a manufacturing system is a very common policy in most industries. The main reasons for batching are avoidance of set ups and/or facilitation of material handling...
Durk-Jouke van der Zee