5200 search results - page 89 / 1040 » Symbolic models for control systems |
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
ENTCS
2008
13 years 9 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— A mathematical model for the scheduling of angiogenic inhibitors in combination with a killing agent is considered as an optimal control problem. Initial results on the...
CAV
2010
Springer
14 years 20 days ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...