5200 search results - page 351 / 1040 » Symbolic models for control systems |
198
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
174
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...
200
click to vote
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
155
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this work we derive steady-state cornering conditions for a single-track vehicle model without restricting the operation of the tires to their linear region (i.e. allowing t...
176
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...