NDLI: Decentralized Control of Infinite Systems

Content Provider	Springer Nature Link
Author	Kalyon, Gabriel Gall, Tristan Marchand, Hervé Massart, Thierry
Copyright Year	2011
Abstract	We propose algorithms for the synthesis of decentralized state-feedback controllers with partial observation of infinite state systems, which are modeled by Symbolic Transition Systems. We first consider the computation of safe controllers ensuring the avoidance of a set of forbidden states and then extend this result to the deadlock free case. The termination of the algorithms solving these problems is ensured by the use of abstract interpretation techniques, but at the price of overapproximations, in particular, in the computation of the states which must be avoided. We then extend our algorithms to the case where the system to be controlled is given by a collection of subsystems (modules). This structure is exploited to locally compute a controller for each module. Our tool SMACS gives an empirical evaluation of our methods by showing their feasibility, usability and efficiency.
Starting Page	359
Ending Page	393
Page Count	35
File Format	PDF
ISSN	09246703
Journal	Discrete Event Dynamic Systems
Volume Number	21
Issue Number	3
e-ISSN	15737594
Language	English
Publisher	Springer US
Publisher Date	2011-05-06
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Symbolic transition systems Decentralized controller synthesis Partial observation Abstract interpretation Controller synthesis of modular systems Manufacturing, Machines, Tools Operations Research/Decision Theory Convex and Discrete Geometry Systems Theory, Control Electrical Engineering
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Modeling and Simulation

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Diagnosis of Discrete Event Systems Using Decentralized Architectures

Enforcing opacity of regular predicates on modal transition systems

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

Solvability of Centralized Supervisory Control Under Partial Observation

Control of (max, +)-linear systems minimizing delays

Erratum to: Diagnosis of discrete event systems using decentralized architectures

Integrating discrete controller synthesis into a reactive programming language compiler

Robustness of synchronous communication protocols with delay for decentralized discrete-event control

Decentralized Control of Infinite Systems

Similar Documents

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Diagnosis of Discrete Event Systems Using Decentralized Architectures

Enforcing opacity of regular predicates on modal transition systems

Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications

Solvability of Centralized Supervisory Control Under Partial Observation

Control of (max, +)-linear systems minimizing delays

Erratum to: Diagnosis of discrete event systems using decentralized architectures

Integrating discrete controller synthesis into a reactive programming language compiler

Robustness of synchronous communication protocols with delay for decentralized discrete-event control

Decentralized Control of Infinite Systems