Abstract
Models fall naturally into two main categories, those of discrete systems and those of continuous systems. Our model-based reasoning work deals with continuous systems, augmented to provide for the possibility that one continuous system model transitions to another, as when a threshold event occurs such as a thermostat turning on.One aspect of model-based reasoning is simulation. A model is defined and its behavior(s) inferred through qualitative or numerical simulation. The simulated trajectories then facilitate tasks that one expects model-based reasoning to aid in, such as prediction, monitoring, diagnosis, and design.Here we describe an approach to representing simulation trajectories that results in descriptions of system behavior that contain both qualitative and quantitative information about trajectories closely integrated together. Those descriptions are supported by an internal, representation methodology that also closely integrates qualitative and quantitative information. The internal representation methodology supports quantitative inferences about the trajectories, and an example trace of such inferencing is provided.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
