Sciweavers

2467 search results - page 293 / 494
» Finite State Machines
Sort
View
MP
2008
99views more  MP 2008»
15 years 6 months ago
Efficient robust optimization for robust control with constraints
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
Paul J. Goulart, Eric C. Kerrigan, Daniel Ralph
TIT
2010
111views Education» more  TIT 2010»
15 years 1 months ago
Designing floating codes for expected performance
Floating codes are codes designed to store multiple values in a Write Asymmetric Memory, with applications to flash memory. In this model, a memory consists of a block of n cells, ...
Flavio Chierichetti, Hilary Finucane, Zhenming Liu...
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
16 years 21 days ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
ICML
2005
IEEE
16 years 7 months ago
Beyond the point cloud: from transductive to semi-supervised learning
Due to its occurrence in engineering domains and implications for natural learning, the problem of utilizing unlabeled data is attracting increasing attention in machine learning....
Vikas Sindhwani, Partha Niyogi, Mikhail Belkin
FORMATS
2006
Springer
15 years 10 months ago
On the Computational Power of Timed Differentiable Petri Nets
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
Serge Haddad, Laura Recalde, Manuel Silva