5200 search results - page 294 / 1040 » Symbolic models for control systems |
XMLSEC
2003
ACM
14 years 2 months ago
2003
ACM
As a large quantity of information is presented in XML format on the Web, there are increasing demands for XML security. Until now, research on XML security has been focused on th...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In the identification of nonlinear dynamical models it may happen that not only the system dynamics have to be modeled but also the noise has a dynamic character. We show how to ad...
WSC
2008
14 years 9 hour ago
2008
As an adaptation of the CONWIP concept, AMD has developed a heuristic approach to control the WIP in its wafer fabrication facilities (fabs). The so called "Loop Control"...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
RP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...