Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems

From MaRDI portal
(Redirected from Publication:4990149)