Language-Guided Controller Synthesis for Linear Systems

DOI10.1109/TAC.2013.2295664zbMath1360.93424WikidataQ58233173 ScholiaQ58233173MaRDI QIDQ2983163

Calin Belta, Mircea Lazar, Ebru Aydin Gol

Publication date: 16 May 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

68Q60: Specification and verification (program logics, model checking, etc.)