Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
138
Modeling the Austenite Ferrite Transformation by Cellular Automaton Improving Interface Stability
, 2014
"... as te ro fS cie nc e Th es is ..."
The Argos Language: Graphical Representation of Automata and Description of Reactive Systems
- In IEEE Workshop on Visual Languages
, 1991
"... We present the Argos graphical synchronous language for the description of reactive systems, and the Argonaute environment associated with it. Systems like communication protocols, real time process controllers or man/machine interfaces contain a reactive kernel. Its behaviour can be described in a ..."
Abstract
-
Cited by 89 (3 self)
- Add to MetaCart
We present the Argos graphical synchronous language for the description of reactive systems, and the Argonaute environment associated with it. Systems like communication protocols, real time process controllers or man/machine interfaces contain a reactive kernel. Its behaviour can be described in a
Black-box conformance testing for real-time systems
- In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS
, 2004
"... We propose a new framework for black-box conformance testing of real-time systems. The framework is based on the model of partially-observable, non-deterministic timed automata. We argue that partial observability and non-determinism are essential features for ease of modeling, expressiveness and im ..."
Abstract
-
Cited by 76 (11 self)
- Add to MetaCart
and implementability. The framework allows the user to define, through appropriate modeling, assumptions on the environment of the system under test (SUT) as well as on the interface between the tester and the SUT. We consider two types of tests: analog-clock tests and digital-clock tests. Our algorithm to generate
TAME: Using PVS strategies for special-purpose theorem proving
- Annals of Mathematics and Arti cial Intelligence
, 2000
"... TAME (Timed Automata Modeling Environment), an interface to the theorem proving system PVS, is designed for proving properties of three classes of automata: I/O automata, Lynch-Vaandrager timed automata, and SCR automata. TAME provides templates for specifying these automata, a set of auxiliary theo ..."
Abstract
-
Cited by 49 (14 self)
- Add to MetaCart
TAME (Timed Automata Modeling Environment), an interface to the theorem proving system PVS, is designed for proving properties of three classes of automata: I/O automata, Lynch-Vaandrager timed automata, and SCR automata. TAME provides templates for specifying these automata, a set of auxiliary
The Chimera Methodology: Designing dynamically reconfigurable real-time software using port-based objects
- WORDS'94
, 1994
"... The Chimera Methodology is a new software engineering paradigm which addresses the problem of developing dynamically reconfigurable and reusable real-time software. The foundation of the Chimera methodology is the port-based object model of a reusable software component. The model is obtained by app ..."
Abstract
-
Cited by 44 (9 self)
- Add to MetaCart
by applying the port-automaton formal computational model to object-based design. Global state variable table real-time communication is used to integrate port-based objects, which eliminates the need for writing and debugging glue code. The Chimera real-time operating system provides tools to support
M Tangermann, A New Auditory Multi-class BrainComputer Interface Paradigm: Spatial Hearing as an Informative Cue. PLoS ONE. 5(4):e9813
, 2010
"... Most P300-based brain-computer interface (BCI) approaches use the visual modality for stimulation. For use with patients suffering from amyotrophic lateral sclerosis (ALS) this might not be the preferable choice because of sight deterioration. Moreover, using a modality different from the visual one ..."
Abstract
-
Cited by 40 (12 self)
- Add to MetaCart
Most P300-based brain-computer interface (BCI) approaches use the visual modality for stimulation. For use with patients suffering from amyotrophic lateral sclerosis (ALS) this might not be the preferable choice because of sight deterioration. Moreover, using a modality different from the visual
AUTOMATE, a computing package for automata and finite semigroups
, 1991
"... AUTOMATE is a package for symbolic computation on finite automata, extended rational expressions and finite semigroups. On the one hand, it enables one to compute the deterministic minimal automaton of the language represented by a rational expression or given by its table. On the other hand, gi ..."
Abstract
-
Cited by 17 (1 self)
- Add to MetaCart
, given the transition table of a deterministic automaton, AUTOMATE computes the associated transition monoid. The regular D-classes structure, and many properties of the elements in the monoid are provided. The program AUTOMATE has been written in C and is quite portable. The user interface includes
Synthesis of interface automata
- In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005
, 2005
"... Abstract. We investigate the problem of synthesising an interface automaton R such that P � R � Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q ⊥ are compatible, and the most general solution is given by (P � Q ⊥ ) ⊥ , where P ⊥ is the automaton P w ..."
Abstract
-
Cited by 4 (2 self)
- Add to MetaCart
Abstract. We investigate the problem of synthesising an interface automaton R such that P � R � Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q ⊥ are compatible, and the most general solution is given by (P � Q ⊥ ) ⊥ , where P ⊥ is the automaton P
Counting Interface Automata and their Application in Static Analysis of Actor Models
"... We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is capable of counting with numbers. Using this new interface theory, we can capture temporal and quantitative aspects of an ac ..."
Abstract
- Add to MetaCart
of an actor interface as well as an actor’s token exchange rate. We will show, how to extract this information from actors written in the Cal Actor Language (C al), and we also present a method to capture the interface information as well as the structure of dataflow models into an interface automaton
A Logical DES Approach to the Design of Hybrid Control Systems
- Mathl. Comput. Modelling
"... Hybrid control systems, that is, systems which contain both continuous dynamics and discrete event dynamics are studied in this paper. First, a model is introduced that describes the continuous plant and discrete event controller along with an interface which connects them. A Discrete Event System ..."
Abstract
-
Cited by 19 (5 self)
- Add to MetaCart
System (DES) automaton description is employed to describe the plant together with the interface and it is used to analyze the hybrid control system. Controllability is defined for hybrid control systems, enhancing existing DES control concepts. It is then used to obtain a controller design method
Results 1 - 10
of
138
