5200 search results - page 110 / 1040 » Symbolic models for control systems |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
—A Rotary Left Ventricular Assist Device (RLVAD) is a mechanical pump implanted in patients with congestive heart failure to assist their left ventricle in pumping blood through ...
CHES
2005
Springer
14 years 2 months ago
2005
Springer
We extend the model of Karlof and Wagner for modelling side channel attacks via Input Driven Hidden Markov Models (IDHMM) to the case where not every state corresponds to a single ...
IRI
2008
IEEE
14 years 3 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
IEAAIE
2011
Springer
13 years 10 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...