Semiqualitative Methodology to Reasoning about Dynamic Systems
Quitiliano Angulo Córdoba, J. Torres, Miguel Toro, Rafael M. Gasca, Luis González, Juan Antonio Ortega, Francisco Velasco Morente · 2011
IN THIS ARTICLE A METHODOLOGY TO REASON OVER SEMIQUALITATIVE MODELS BUILT FOR DINAMIC SYSTEMS WITH QUALITATIVE AND QUANTITATIVE KNOWLEDGE IS PROPOSED. THE QUALITATIVE INFORMATION OF THESE SYSTEMS CAN BE COMPOSED OF: QUALITATIVE OPERATORS, QUALITATIVE LABELS, BANDS FUNCTIONS AND QUALITATIVE CONTINUOUS FUNCTIONS. A FORMALISM TO INCORPORATE THIS INFORMATION TO THE MODELS IS PRESENTED. THE PROPOSED METHODOLOGY ALLOWS TO STUDY NOT JUST ABOUT THE STATIONARY REGIME, WIDELY STUDIED IN THE LITERATURE, BUT ALSO IT MAKES POSSIBLE TO CARRY OUT A STUDY OF THE TRANSITORY REGIME OF THE SYSTEMS. IT ALSO PRESENTS A THEORETICAL STUDY ABOUT THE VALIDITY OF THE CONCLUSIONS OBTAINED IN THE METHODOLOGY. THE BEHAVIOURS OF THE SYSTEM CAN BE OBTAINED AUTOMATICALLY APP