Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference

DOI10.1109/TAC.2013.2272885MaRDI QIDQ2983278zbMATH OpenFDO

Authors Jie Fu, Herbert G. Tanner, Jeffrey Heinz, Jane Chandlee

Publication date 16 May 2017

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

Full work available at URL https://doi.org/10.1109/TAC.2013.2272885

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of game theory (91A80)

Cited in

(1)

• Correct-By-Construction Exploration and Exploitation for Unknown Linear Systems Using Bilinear Optimization

This page was built for publication: Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2983278)