We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for model-ing and analyzing real-time systems. It is based on timed I/O automata, which engage in both discrete transitions and continuous trajectories. The framework includes a notion of external behavior, and notions of composition and ab-straction. We define safety and liveness properties for timed I/O automata, and a notion of receptiveness, and prove ba-sic results about all of these notions. The TIOA framework is defined as a special case of the new Hybrid I/O Automata (HIOA) modeling framework for hybrid systems. Specifi-cally, a TIOA is an HIOA with no external variables; thus, TIOAs communicate via shared discrete actions only, and do not...
In this article we take a rather different view on models for real-time systems. First of all, trans...
When proving the correctness of algorithms in distributed systems, one generally consid-ers safety c...
In this article we take a rather different view on models for real-time systems. First of all, trans...
Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) mod...
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathemat...
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed s...
AbstractHybrid systems are systems that exhibit a combination of discrete and continuous behavior. T...
Timed I/O Automata (TIOA) is a mathematical frame-work for modeling and verification of distributed ...
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framewor...
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discre...
A specification theory combines notions of specifications and implementations with a satisfaction re...
Abstract. In earlier work, we developed a mathematical hy-brid I/O automaton (HIOA) modeling framewo...
Abstract. We propose a new hybrid I/O automaton model that is ca-pable of describing both continuous...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
A new class of communicating automata called Temporal Input/Output Automata (TAi/os) is introduced. ...
In this article we take a rather different view on models for real-time systems. First of all, trans...
When proving the correctness of algorithms in distributed systems, one generally consid-ers safety c...
In this article we take a rather different view on models for real-time systems. First of all, trans...
Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) mod...
This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathemat...
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed s...
AbstractHybrid systems are systems that exhibit a combination of discrete and continuous behavior. T...
Timed I/O Automata (TIOA) is a mathematical frame-work for modeling and verification of distributed ...
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framewor...
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discre...
A specification theory combines notions of specifications and implementations with a satisfaction re...
Abstract. In earlier work, we developed a mathematical hy-brid I/O automaton (HIOA) modeling framewo...
Abstract. We propose a new hybrid I/O automaton model that is ca-pable of describing both continuous...
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Compute...
A new class of communicating automata called Temporal Input/Output Automata (TAi/os) is introduced. ...
In this article we take a rather different view on models for real-time systems. First of all, trans...
When proving the correctness of algorithms in distributed systems, one generally consid-ers safety c...
In this article we take a rather different view on models for real-time systems. First of all, trans...