Abstract :
In this paper, reachability properties of continuous-time positive systems are introduced and characterized in algebraic terms. Specifically, first it is shown that reachability and strong reachability are equivalent properties, and thus the characterization of strong reachability derived in (Commault and Alamir, 2007) is extended to the weaker notion of reachability. In the second part of the paper, essential reachability is introduced, and necessary and sufficient conditions for this property to hold are provided.
Keywords :
algebra; continuous time systems; control system analysis; reachability analysis; algebraic terms; continuous-time positive systems; equivalent properties; reachability properties; Automatic control; Automation; Behavioral science; Biological system modeling; Biomedical engineering; Computational biology; Control systems; Mathematical model; Power generation economics; Sufficient conditions;
