Linear systems are one of the most commonly used models to represent physical systems. Yet, only few automated tools have been developed to check their behaviors over time. In this paper, we propose a linear temporal logic for specifying complex properties of discrete time linear systems. The proposed logic can also be used in a control system to generate control input in the process of model c...

One of the classical problems of nonlinear systems and control theory is feedback linearization. Its obvious motivation is that one can utilize linear control theory if the nonlinear system at hand is linearizable by feedback. This problem is well-understood for the smooth nonlinear systems. In the present paper, we investigate feedback linearizability of a class of piecewise linear, and hence ...