14235 search results - page 2712 / 2847 » Is computer science science |
102
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
148
click to vote
INFSOF
2002
15 years 4 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
123
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
This paper deals with the optimization of the observer trajectory for target motion analysis. The observations are made of estimated bearings. The problem consists in determining ...
145
click to vote
DEDS
1998
15 years 4 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
141
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...