60 search results - page 11 / 12 » A Simulation-based Approach for Solving Generalized Semi-Mar... |
ICSE
2008
IEEE-ACM
14 years 6 months ago
2008
IEEE-ACM
Efforts for software evolution supersede any other part of the software life cycle. Technological decisions have a major impact on the maintainability, but are not well reflected ...
SENSYS
2005
ACM
13 years 11 months ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
In several agent-oriented scenarios in the real world, an autonomous agent that is situated in an unknown environment must learn through a process of trial and error to take actio...
CDC
2009
IEEE
13 years 10 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
IFM
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...