Sciweavers

391 search results - page 16 / 79
» Using computer games for hybrid systems controller synthesis
Sort
View
AAMAS
2011
Springer
13 years 1 months ago
Benchmarking hybrid algorithms for distributed constraint optimisation games
In this paper, we consider algorithms for distributed constraint optimisation problems (DCOPs). Using a potential game characterisation of DCOPs, we decompose six distributed DCOP...
Archie C. Chapman, Alex Rogers, Nicholas R. Jennin...
ISCI
2010
128views more  ISCI 2010»
13 years 5 months ago
Robust static output feedback controller synthesis using Kharitonov's theorem and evolutionary algorithms
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...
Rosario Toscano, Patrick Lyonnet
HYBRID
1992
Springer
13 years 10 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
ISER
2004
Springer
117views Robotics» more  ISER 2004»
14 years 3 days ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric