Abstract
The Data Analysis and System Modeling Environment (dasme) is a computer-assisted modeling environment, currently under development at NASA's Goddard Space Flight Center, designed to support ground-based mission operations with a mixed discrete/continuous modeling capability. This paper describes planned cast-based extensions to dasme to support a broader range of systems theoretical computing models, and in particular models utilizing concepts from Generalized Information Theory (git) such as fuzzy systems, possibilistic measurement, and possibilistic processes. Support for model-based diagnostics and trend analysis of spacecraft systems is targetted.
Preview
Unable to display preview. Download preview PDF.
References
Davis, R and Hamscher, W: (1992) “Model-Based Reasoning: Troubleshooting”, in: Readings in Model-Based Diagnosis, ed. W Hamscher et al., pp. 3–24, Morgan Kaufman, San Mateo CA
Dubois, Didier and Prade, Henri: (1988) Possibility Theory, Plenum Press New York
Dvorak, D and Kuipers, B: (1992) “Model-Based Monitoring of Dynamic Systems”, in: Readings in Model-Based Diagnosis, ed. W Hamscher et al., pp. 249–254, Morgan-Kaufmann, San Mateo CA
Hall, Gardiner A; Schuetzle, James; and La Vallee, D et al.: (1992) “Architectural Development of Real-Time Fault Diagnositc Systems Using Model-Based Reasoning”, in: Proc. 1992 Goddard Conf. on Space Applications of AI, ed. Steve Rash, pp. 77–86, NASA Goddard, Greenbelt MD
Hamscher, W; Console, Luca; and Kleer, Johan de, eds.: (1992) Readings in Model-Based Diagnosis, Morgan-Kaufman
Hopcroft, John E and Ullman, Jeffery D: (1979) Introduction to Automata Theory Languages and Computation, Addison-Wesley, Reading MA
Joslyn, Cliff: (1992) “Possibilistic Measurement and Set Statistics”, in: Proc. NAFIPS 1992, v. 2, pp. 458–467, Puerto Vallerta
Joslyn, Cliff: (1993) “Some New Results on Possibilistic Measurement”, in: Proc. NAFIPS 1993, pp. 227–231, Allentown PA
Joslyn, Cliff: (1994) Possibilistic Processes for Complex Systems Modeling, PhD Dissertation, Binghamton University, UMI Disseration Services, Ann Arbor MI
Joslyn, Cliff: (1994) “Possibilistic Approach to Qualitative Model-Based Diagnosis”, Telematics and Informatics, v. 11:4, pp. 365–384
Joslyn, Cliff: (1995) “An Object-Oriented Architecture for Possibilistic Models”, in: Proc. 1994 Conf. Computer-Aided Systems Technology, to appear
Joslyn, Cliff: (1995) “Towards an Independent Possibility Theory with an Objective Semantics”, in: Proc. 1995 Int. Workshop on Foundations and Applications of Possibility Theory, to appear
Joslyn, Cliff: (1995) “Strong Probabilistic Compatibility of Possibilistic Histograms”, in: Proc. 1995 Int. Symposium on Uncertainty Modeling and Analysis, to appear
Kaufmann, A. and Gupta, M.M.: (1985) Introduction to Fuzzy Arithmetic, Reinhold, New York
Kendall, DG: (1974) “Foundations of a Theory of Random Sets”, in: Stochastic Geometry, ed. EF Harding and DG Kendall, pp. 322–376, Wiley, New York
Klir, George: (1993) “Developments in Uncertainty Based Information”, in: Advances in Computers, v. 36, ed. M. Yovitz, pp. 255–332, Academic Press
Klir, George and Yuan, Bo: (1995) Fuzzy Sets and Fuzzy Logic, Prentice-Hall, New York
Kuipers, BJ: (1994) Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge, MIT Press, Cambridge MA
Moore, RM: (1979) Methods and Applications of Interval Analysis, in: SIAM Studies in Applied Mathematics, SIAM, Philadelphia
Praehofer, Herbert: (1991) “Systems Theoretic Formalisms for Combined Discrete-Continuous Systems Simulation”, Int. J. of General Systems, v. 19, pp. 219–240
Praehofer, Herbert and Zeigler, Bernard P: (1995) Automatic Abstraction of Event-Based Control Models, in preparation
Ramer, Arthur: (1990) “Structure of Possibilistic Information Metrics and Distances: Properties”, Int. J. of General Systems, v. 17, pp. 21–32
Zadeh, Lotfi A: (1978) “Fuzzy Sets as the Basis for a Theory of Possibility”, Fuzzy Sets and Systems, v. 1, pp. 3–28
Zeigler, BP: (1976) Theory of Modeling and Simulation, Wiley, New York
Zeigler, BP: (1985) Multifacetted Modeling and Discrete Event Simulation, Academic Press, San Diego
Zeigler, BP: (1990) Object-Oriented Simulation with Hierarchical Modular Models, Academic Press, San Diego
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Joslyn, C., Henderson, S. (1996). CAST extensions to DASME to support Generalized Information Theory. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034764
Download citation
DOI: https://doi.org/10.1007/BFb0034764
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive