Sciweavers

14190 search results - page 71 / 2838
» Abstractions for hybrid systems
Sort
View
GECCO
2004
Springer
15 years 5 months ago
Program Evolution by Integrating EDP and GP
This paper discusses the performance of a hybrid system which consists of EDP and GP. EDP, Estimation of Distribution Programming, is the program evolution method based on the prob...
Kohsuke Yanai, Hitoshi Iba
GECON
2007
Springer
81views Business» more  GECON 2007»
15 years 6 months ago
Prediction-Based Enforcement of Performance Contracts
Grid computing platforms require automated and distributed resource allocation with controllable quality-of-service (QoS). Market-based allocation these features using the compleme...
Thomas Sandholm, Kevin Lai
HYBRID
2007
Springer
15 years 3 months ago
On Self-triggered Full-Information H-Infinity Controllers
Abstract. A self-triggered control task is one in which the task determines its next release time. It has been conjectured that self-triggering can relax the requirements on a real...
Michael D. Lemmon, Thidapat Chantem, Xiaobo Sharon...
HYBRID
2007
Springer
15 years 6 months ago
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
The aim of this paper is twofold. On one hand we present an approach to the general problem of nonlinear control in the framework of (differentiable) groupoids, which, in our opin...
Alessandro Arsie, Emilio Frazzoli
ICLP
2010
Springer
15 years 3 months ago
A Logical Paradigm for Systems Biology (Invited Talk)
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
François Fages