Supervisory Control Oriented Modeling of an Experimental Manufacturing Cell uri icon