Keyword : symbolic control


Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems
Masashi MIZOGUCHI Toshimitsu USHIO 
Publication:   
Publication Date: 2021/11/01
Vol. E104-A  No. 11 ; pp. 1593-1602
Type of Manuscript:  PAPER
Category: Systems and Control
Keyword: 
Smith predictorsymbolic controldead timeapproximated alternating simulationdeadlock
 Summary | Full Text:PDF

Symbolic Design of Networked Control Systems with State Prediction
Masashi MIZOGUCHI Toshimitsu USHIO 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6 ; pp. 1158-1165
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal techniques
Keyword: 
networked control systemssymbolic controlapproximate similarity relationsstate prediction
 Summary | Full Text:PDF