NDLI: Distributed knowledge for communication in decentralized discrete-event systems

Content Provider	IEEE Xplore Digital Library
Author	Ricker, S.L. Rudie, K.
Copyright Year	2000
Description	Author affiliation: CWI, Amsterdam, Netherlands (Ricker, S.L.)
Abstract	An extension to a formal model for reasoning about knowledge and communication in discrete-event systems is presented. The model is based on a modal logic where propositions describe the knowledge that agents in the system possess. Decentralized discrete-event control problems, where agents must communicate in order to effect control, are examined. Previously the identification of a state where agents should communicate was expressed solely in terms of properties of a formal language. The updated knowledge model presented here yields equivalent propositional logic expressions so that agents can determine where to communicate based on whether certain propositions are true at certain states. This amounts to agents making control decisions based on their "knowledge" of the system. The key relevant logic proposition corresponds to a check on whether a group of agents, if they pooled their knowledge, would possess sufficient information about the legality of a given event sequence. The new formulation is applied to a previously-solved example.
Starting Page	9
Ending Page	15
File Size	723162
Page Count	7
File Format	PDF
ISBN	0780366387
ISSN	01912216
DOI	10.1109/CDC.2000.912724
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-12-12
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Discrete event systems Communication system control Control systems Logic Formal languages Law Legal factors Automatic control Automata Observability
Content Type	Text
Resource Type	Article

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

Incorporating communication and knowledge into decentralized discrete-event systems

Mind the gap: Expanding communication options in decentralized discrete-event control

On language convergence in discrete-event systems

A state-based reasoning for the supervisory control of timed discrete event systems

Decentralized control and coordination of discrete-event systems

Event Feedback Control of Discrete Event Systems with Forced Events

A modified method for supervisor specification and synthesis of a class of discrete event systems

Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems

Know means no: Incorporating knowledge into discrete-event control systems

Distributed knowledge for communication in decentralized discrete-event systems

Similar Documents

Incorporating communication and knowledge into decentralized discrete-event systems

Mind the gap: Expanding communication options in decentralized discrete-event control

On language convergence in discrete-event systems

A state-based reasoning for the supervisory control of timed discrete event systems

Decentralized control and coordination of discrete-event systems

Event Feedback Control of Discrete Event Systems with Forced Events

A modified method for supervisor specification and synthesis of a class of discrete event systems

Formal modeling and synthesis of state-transferring communication among decentralized supervisors for discrete-event systems

Know means no: Incorporating knowledge into discrete-event control systems

Distributed knowledge for communication in decentralized discrete-event systems