2940 search results - page 135 / 588 » Relational Parametricity and Control |
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
128
click to vote
EMO
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. A multi-objective evolutionary algorithm is used to determine the membership function distribution within the outer loop control system of a non-linear missile autopilot ...
136
Voted
HYBRID
1999
Springer
15 years 8 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
130
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
116
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper gives an overview of guidance laws that can be applied for planar motion control purposes. Considered scenarios include target tracking, where only instantaneous informa...