# Control of Cyber-Physical-Systems with logic specifications: A formal methods approach

> Research article (Annual Reviews in Control, 2019) · cited 42× · AI/ML

**Wikidata**: [openalex:W2933352084](https://www.wikidata.org/wiki/openalex:W2933352084)  
**Source**: https://4ort.xyz/entity/control-of-cyber-physical-systems-with-logic-specifications-a-formal-methods-approach