Skip to search formSkip to main contentSkip to account menu

Constraint automaton

Known as: Constraint automata 
In computer science, Constraint automata are a formalism to describe the behavior and possible data flow in coordination models. It was introduced by… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Computer scienceModel checkingProbabilistic automaton

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Compositional construction of most general controllers
Given a system A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb… 
2012
2012
Goal-directed planning and plan recognition for the sustainable control of homes
The goal of this thesis is to design an autonomous control system for the sustainable control of buildings. The control system… 
2011
2011
Diagnostic Hypothesis Enumeration vs. Probabilistic Inference for Hierarchical Automata Models
AI problems in engineering domains often lie at the intersection of model-based diagnosis and probabilistic reasoning. A typical… 
2010
2010
ACTL Local Model Update with Constraints
The recent development of model update aims to enhance model checking functions and provides computer aided modifications in… 
2009
2009
Integrating Model-based Diagnosis and Prognosis in Autonomous Production
Today’s complex production systems allow to si- multaneously build different products following individual production plans. Such… 
2007
2007
Spécification et vérification de propriétés quantitatives sur des automates à contraintes. (Specification and verification of quantitative properties on constraint automata)
L'utilisation omnipresente des systemes informatiques impose de s'assurer de leur bon fonctionnement. Dans ce but, les methodes… 
2005
2005
Accurate belief state update for probabilistic constraint automata
As autonomous spacecraft and other robotic systems grow increasingly complex, there is a pressing need for capabilities that more… 
2003
2003
Effective modeling of software architectural assemblies using constraint automata
Alfa is a framework for the construction of software architectures and their elements from architectural primitives. In any… 
Highly Cited
2001
Highly Cited
2001
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future… 
2000
2000
Verifying Real-Time Joint Action Specifications Using Timed Automata
In this paper, an approach to the verification of specifications of reactive real-time systems is proposed. DisCo is an object… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)