1119 search results - page 120 / 224 » On the Invariance of Ant System |
116
click to vote
LICS
2012
IEEE
13 years 11 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
—It is investigated to what extent the trajectories of a stochastically switched (blinking) system follow the corresponding trajectories of the averaged system. Four cases have t...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
This paper proposes a combined mechanism for coordinating agents in timed normative multi-agent systems. Timing constraints in a multi-agent system make it possible to force actio...
DEDS
1998
14 years 9 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...