Sciweavers

2467 search results - page 324 / 494
» Finite State Machines
Sort
View
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
15 years 5 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 5 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CORR
2010
Springer
57views Education» more  CORR 2010»
15 years 5 months ago
A Repeated Game Formulation of Energy-Efficient Decentralized Power Control
Decentralized multiple access channels where each transmitter wants to selfishly maximize his transmission energyefficiency are considered. Transmitters are assumed to choose freel...
Mael Le Treust, Samson Lasaulce
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 5 months ago
2-D Analysis of Enhancement of Analytes Adsorption Due to Flow Stirring by Electrothermal Force in The Microcantilever Sensor
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
Ming-Chih Wu, Jeng-Shian Chang, Chih-Kai Yang
COR
2006
84views more  COR 2006»
15 years 5 months ago
Stability and interaction in flatline games
Starting from a given one-shot game played by a finite population of agents living in flatline, a circular or constrained grid structured by the classical definitions of neighborh...
Alexander Mehlmann