565 search results - page 8 / 113 » Stochastic modeling of a power-managed system: construction ... |
107
click to vote
CJ
2004
14 years 11 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
ARCS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
A primary goal of evolutionary robotics is to create systems that are as robust and adaptive as the human body. Moving toward this goal often involves training control systems tha...
103
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper, a control oriented nonlinear model is developed for a fuel cell based auxiliary power unit which includes a solid oxide fuel cell, an autothermal reforming, and a ba...