Sciweavers

13717 search results - page 198 / 2744
» Control Systems
Sort
View
144
Voted
RTCSA
2005
IEEE
15 years 9 months ago
Feedback Control Static Scheduling for Real-Time Distributed Embedded Systems
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
Tolga Ayav, Yves Sorel
JCS
2008
119views more  JCS 2008»
15 years 3 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
ETFA
2006
IEEE
15 years 9 months ago
Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models
New technological trends lead to the increasing use of network technologies in automation. Especially the Ethernet with TCP/IP and wireless networks find growing acceptance. The r...
Jürgen Greifeneder, Georg Frey
111
Voted
SIAMCO
2002
77views more  SIAMCO 2002»
15 years 3 months ago
Robust Optimal Switching Control for Nonlinear Systems
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...
Joseph A. Ball, Jerawan Chudoung, Martin V. Day
168
Voted
JSS
1998
87views more  JSS 1998»
15 years 3 months ago
On using similarity for concurrency control in real-time database systems
Most of the proposed concurrency control protocols for real-time database systems (RTDBS) are based on serializability theorem. Owing to the unique characteristics of real-time da...
Kam-yiu Lam, Wai-cheong Yau