237 search results - page 15 / 48 » A Process Algebra for Predictible Control Systems |
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
CISIS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
100
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...
ICICIC
2006
IEEE
15 years 5 months ago
2006
IEEE
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
101
click to vote
NIPS
2001
15 years 1 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...