Hybrid I/O Automata Revisited

@inproceedings{Lynch2001HybridIA,
  title={Hybrid I/O Automata Revisited},
  author={Nancy A. Lynch and Roberto Segala and Frits W. Vaandrager},
  booktitle={HSCC},
  year={2001}
}
In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework has been used to analyze examples of automated transportation systems, intelligent vehicle highway systems, air traffic control systems, and consumer electronics applications. Here, we reconsider the basic definitions of the HIOA framework, in particular, the dual use of external variables for discrete and continuous… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 70 CITATIONS

Testing hybrid systems with TTCN-3

VIEW 2 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Temporal specification testing of hybrid systems

  • 2017 13th IEEE Conference on Automation Science and Engineering (CASE)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

Modeling interdependent critical infrastructures using open hybrid automata

  • 2015 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

2000
2017

CITATION STATISTICS

  • 2 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 22 REFERENCES

Hybrid i/o automata. In Hybrid Systems III, pages 496–510

N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg
  • LNCS 1066,
  • 1996
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

High-level modeling and analysis of TCAS

  • Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)
  • 1999
VIEW 1 EXCERPT

Reactive Modules

  • Formal Methods in System Design
  • 1999
VIEW 1 EXCERPT

On the formal verification of the TCAS conflict resolution algorithms

  • Proceedings of the 36th IEEE Conference on Decision and Control
  • 1997
VIEW 1 EXCERPT