5200 search results - page 177 / 1040 » Symbolic models for control systems |
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper, we develop a neuroadaptive control architecture to control lung volume and minute ventilation with input pressure constraints that also accounts for spontaneous brea...
MMMACNS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. In the past five years there has been tremendous activity in rolebased access control (RBAC) models. Consensus has been achieved on a standard core RBAC model that is in ...
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...