Métodos de sistemas de estado cuantificados