Paper Info
Title
Finite abstractions of networked control systems
Abstract
In networked control systems (NCS), the communication between sensors, controllers, and actuators is supported by a shared communication channel that is subject to variable communication delays, limited bandwidth, packet losses, quantization errors, and other practical non-idealities. This work investigates the problem of constructively deriving symbolic models of NCS by simultaneously considering the mentioned network non-idealities. By employing the obtained symbolic models, one can completely automate the design of controllers enforcing rich logical specifications, e.g. formulae in linear temporal logic, over NCS.
Year
DOI
Venue
2014
10.1109/CDC.2014.7039365
Decision and Control
Keywords
Field
DocType
control system analysis,delays,networked control systems,NCS,controller design,finite abstractions,limited bandwidth,logical specifications,networked control systems,packet losses,quantization errors,symbolic models,variable communication delays
Control theory,Computer science,Networked control system,Network packet,Communication channel,Linear temporal logic,Bandwidth (signal processing),Control system,Quantization (signal processing),Actuator
Conference
ISSN
Citations 
PageRank 
0743-1546
10
0.53
References 
Authors
16
3
Name
Order
Citations
PageRank
Majid Zamani124519.41
Manuel Mazo Jr267349.71
Alessandro Abate3109894.52