Reasoning about input-output modeling of dynamical systems

Abstract

The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causee ffect pair. Any automated modeling tool that takes this approach must be able to reason effectively about sensors and actuators and their interactions with the target system. Distilling qualitative information from sensor data is fairly easy, but a variety of difficult control-theoretic issues — controllability, reachability, and utility — arise during the planning and execution of experiments. This paper describes some representations and reasoning tactics, collectively termed qualitative bifurcation analysis, that make it possible to automate this task.