Artificial Intelligence
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Timed default concurrent constraint programming
Journal of Symbolic Computation - Special issue: executable temporal logics
Back to the Future for Consistency-Based Trajectory Tracking
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
A model-based approach to reactive self-configuring systems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Model-based programming of fault-aware systems
AI Magazine
The domestic robot—a friendly cognitive system takes care of your home
Ambient intelligence
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Robotics and Autonomous Systems
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Executing reactive, model-based programs through graph-based temporal planning
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Integrated plan tracking and prognosis for autonomous production processes
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Factory monitoring and control with mixed hardware/software, discrete/continuous models
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Constraint-based integration of plan tracking and prognosis for autonomous production
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Automated plan assessment in cognitive manufacturing
Advanced Engineering Informatics
Runtime verification of stochastic, faulty systems
RV'10 Proceedings of the First international conference on Runtime verification
Compiling AI engineering models for probabilistic inference
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
A model-based executive for commanding robot teams
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic networks. Monitoring these networks will require modeling languages and estimators that handle the sophisticated behaviors of robotic components. This paper introduces RMPL, a rich modeling language that combines reactive programming constructs with probabilistic, constraint-based modeling, and that offers a simple semantics in terms of hidden Markov models (HMMs). To support efficient realtime deduction, we translate RMPL models into a compact encoding of HMMs called probabilistic hierarchical constraint automata (PHCA). Finally, we use these models to track a system's most likely states by extending traditional HMM belief update.