546 search results - page 43 / 110 » Multivariable control systems - an engineering approach |
139
click to vote
SEE
1997
Springer
15 years 8 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
120
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed software development support systems typically use a centralized client-server architecture. This approach has some drawbacks such as the participants may experience l...
148
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...
150
click to vote
ICRE
1998
IEEE
15 years 8 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
134
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...