The VAT tool : automatic transformation of VHDL to timed automata
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004.
Main Author: | Nehme, Carl, 1981- |
---|---|
Other Authors: | I. Kristina Lundqvist. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/17790 |
Similar Items
-
Modeling human supervisory control in heterogeneous unmanned vehicle systems
by: Nehme, Carl, 1981-
Published: (2009) -
Model-based estimation of probabilistic hybrid automata
by: Henry, Melvin Michael, 1968-
Published: (2013) -
Accurate belief state update for probabilistic constraint automata
by: Martin, Oliver B., 1979-
Published: (2006) -
Fast, approximate state estimation of concurrent probabilistic hybrid automata
by: Timmons, Eric (Eric M.)
Published: (2013) -
Design of automatic rudder coordination systems for aircraft
by: Whitaker, H. Philip
Published: (2017)