Guilherme Ramos

Learn More
This paper studies the minimal controllability problem (MCP), i.e., the problem of, given a linear time-invariant system, finding the sparsest input vector that ensures system's controllability. We show that the MCP can be exactly solved by (polynomially) reducing it to the minimum set covering problem, when the system dynamics matrix A is simple and the(More)
— This paper introduces the concept of structural hybrid systems to address, as a particular case, the model checking problem of switching (possible large scale) linear time invariant systems. Within the proposed setup, we provide necessary conditions to ensure properties such as controllability, at each time. We show that such model checking(More)
  • 1