Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....
Abstract— This paper presents necessary and sufficient conditions for null controllability of discrete-time linear systems subject to both input and state constraints. The class...
Abstract--CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable e...
— This paper presents readily checkable criteria for several system theoretic properties (stability, approximate and exact controllability, exponential stabilizability) for a par...