123 search results - page 18 / 25 » Optimizing Bounded Model Checking for Linear Hybrid Systems |
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
132
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
123
click to vote
IJCNN
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes the optimal tuning for the output limits of the power system stabilizer (PSS), which can improve the system damping performance immediately following a large d...
125
click to vote
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Efficient and reliable power allocation algorithm in Cognitive radio (CR) networks is a challenging problem. Traditional water-filling algorithm is inefficient for CR networks due ...
124
click to vote
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...