SmartATMS

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

SmartATMS: a simulator for air traffic management systems

Full text

Pdf (840 KB)

Source

Winter Simulation Conference archive
Proceedings of the 29th conference on Winter simulation table of contents

Atlanta, Georgia, United States

Pages: 1199 - 1205

Year of Publication: 1997

ISBN:0-7803-4278-X

Authors

Tak-Kuen John Koo	Robotics and Intelligent Machines Laboratory, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA
Yi Ma	Robotics and Intelligent Machines Laboratory, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA
George J. Pappas	Robotics and Intelligent Machines Laboratory, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA
Claire Tomlin	Robotics and Intelligent Machines Laboratory, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA

Sponsors

IEEE-CS : Computer Society
IEEE-SMCS : Systems, Man & Cybernetics Society
ACM: Association for Computing Machinery
INFORMS/CS : Computer Science TC
SIGSIM: ACM Special Interest Group on Simulation and Modeling
SCS : Society for Computer Simulation
ASA : American Statistical Association
IEEE : Institute of Electrical and Electronics Engineers

Publisher

IEEE Computer Society Washington, DC, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 7, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/268437.268760 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. Andersson. 1994. Object-Oriented Modeling and Simulation of Hybrid Systems. PhD thesis, Department of Automatic Control, Lund Institute of Technology, Sweden.
	2	M. Andersson. 1995. Omola and Omsim tutorial and user's manual. Technical Report ISRN LUTFD2/TFRT-7504-SE, Lund Institute of Technology, Sweden.
	3	Akash Deshpande , Datta Godbole , Aleks Göllü , Pravin Varaiya, Design and evaluation tools for automated highway systems, Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control, p.138-148, July 1996, New Brunswick, NeW Jersey, United States
	4	A. Deshpande, A. Gollu, and L. Semenzato. 1996. The SHIFT Programming Language and Runtime System for Dynamic Networks of Hybrid Automata. Technical report, University of California at Berkeley
	5	A. Deshpande, A. Gollu, and L. Semenzato. 1996. SHIFT reference manual. Technical report, PRCS project SHIC version 2.17, University of California at Berkeley.
	6	H. Erzberger. 1992. CTAS: Computer intelligence for air traffic control in the terminal area. Technical report, NASA TM-103959, Ames Research Center, Moffett Field, California.
	7	RTCA Inc. 1995. Final report of RTCA task force: free flight implementation. Technical report, Washington, DC.
	8	A. Odoni. 1996. Existing and required modeling capabilities for evaluating atm systems and concepts. Technical report, DRAFT report for NASA AATT program.
	9	S. Sastry, G. Meyer, C. Tomlin, J. Lygeros, D. Godbole, and G. Pappas. 1995. Hybrid control in air traffic managements. In Proceedings of the 1995 IEEE Conference in Decision and Control, pages 1478-1483. Institute of Eiectrical and Electronics Engineers, Piscataway, New Jersey.
	10	C. Tomlin, G. Pappas, J.Lygeros, D. Godbole, and S. Sastry. 1997. A next generation architecture for air traffic management systems. Technical report UCB/ERL M97/7, University of California, Berkeley.