A symbolic approach to the design of nonlinear networked control systems

DOI10.1145/2185632.2185670zbMath1361.68018arXiv1203.1069MaRDI QIDQ2986773

Alessandro Borri, Maria Domenica Di Benedetto, Giordano Pola

Publication date: 16 May 2017

Published in: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.1069

zbMATH Keywords

networked control systems; symbolic control; symbolic models; alternating approximate bisimulation

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

93C10: Nonlinear systems in control theory

93C83: Control/observation systems involving computers (process control, etc.)

93A14: Decentralized systems

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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M14: Distributed systems

Related Items

Finite abstractions with robustness margins for temporal logic-based control synthesis, Optimal multirate sampling in symbolic models for incrementally stable switched systems, Deadlock-free output feedback controller design based on approximately abstracted observers

Uses Software

• OMNet++