Algebra of systems: An executable framework for model synthesis and evaluation

2007 International Conference on Systems Engineering and Modeling, ICSEM '07

Volumn , Issue , 2007, Pages 42-49

  Koo, Benjamin H Y ^a   Simmons, Willard L ^b   Crawley, Edward F ^b  

^a TSINGHUA UNIVERSITY   (China)

^b Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; LUNAR LANDING; MATHEMATICAL MODELS; PROJECT MANAGEMENT; SYSTEMS ANALYSIS;

ALGEBRA OF SYSTEMS (AOS); AUTOMATIC MODEL TRANSFORMATION; OBJECT-PROCESS NETWORK (OPN);

SYSTEMS ENGINEERING;

EID: 34748819330     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSEM.2007.373332     Document Type: Conference Paper

References (19)

1. C. Y. Baldwin and K. B. Clark. Design Rules, Vol. 1: The Power of Modularity. The MIT Press, Mar 2000.
2. B. G. Cameron, S. Catanzaro and E. F. Crawley. Value based architecture selection. In 57th International Astronautical Congress 2006, IAC-06-D.3.1.3.
3. P. Cousot. Integrating physical systems in the static analysis of embedded control software. In K. Yi, editor, Proceedings of the Third Asian Symposium on Programming Languages and Systems, pages 135-138. Springer-Verlag, 2005.
4. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 238-252, Los Angeles, California, 1977. ACM Press, New York, NY
5. D. Dori. Object-Process Methodology. Springer, 2002.
6. E. Frazzoli. Robust Hybrid Control for Autonomous Vehicle Motion Planning. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, June 2001.
7. Y. Futamura. Partial evaluation of computaiton process; an approach to a compiler-compiler. In Higher-Order and Symbolic Computation, volume 12, pages 381-391, 1999.
8. C. A. R. Hoare, I. J. Hayes, J. He, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey and B. A. Sufrin. Laws of programming. Communications of the ACM, 30:672-686, 1987.
9. J. C. Houbolt. Manned lunar-landing through use of lunarorbit rendezvous. Technical Report NASA-TM-74736, NASA, 1961.
10. S. Kent. Model Driven Engineering, volume 2335/2002 of Lecture Notes in Computer Science, pages 286-298. Springer, Berlin Heidelberg, 2002.
11. B. H. Y Koo. A Meta-language for Systems Architecting. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 2005.
12. C. Murray and C. B. Cox. Apollo. South Mountain Books, 2004.
13. R. C. Seamans, Jr. Project Apollo: The Tough Decisions. Monographs in Aerospace History Number 37. NASA SP2005-4537, Washington, D.C., 2005.
14. W. Simmons, M. Kinnunen and B. H. Y. Koo. Interview with Robert C Seamans, 1 April 2005.
15. W. L. Simmons, B. H. Y Koo and E. F. Crawley. Architecture generation for Moon-Mars exploration using an executable meta-language. In Proceedings of AIAA Space 2005, 30 August - 1 September, Long Beach, CA, 2005.
16. W. L. Simmons, B. H. Y. Koo and E. F. Crawley. Space systems architecting using meta-languages. In 56th International Astronautical Congress 2005, IAC-05-D1.P03.
17. W. L. Simmons, B. H. Y. Koo and E. F. Crawley. A computational method for mapping the decision space of the lunar exploration program. In 57th International Astronautical Congress 2006, IAC-06-D1.3.7.
18. J. R. Wertz. Space Mission Analysis and Design. Springer, 3rd edition, 1999.
19. B. C. Williams. A theory of interactions: Unifying qualitative and quantitative algebraic reasoning. Artificial Intelligence, 51(1-3):39-94, 1991.