5200 search results - page 187 / 1040 » Symbolic models for control systems |
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
We describe a hidden Markov modeling approach to multiple change-points that has attractive computational and statistical properties. This approach yields explicit recursive filter...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
MONET
2006
13 years 9 months ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...