NDLI: Real-Time Control of Dense-Time Systems Using Digital-Clocks

Content Provider	IEEE Xplore Digital Library
Author	Songyan Xu Kumar, R.
Copyright Year	1963
Abstract	We study the supervisory control of dense-time discrete event systems (DESs) in which the supervisors employ finite-precision digital-clocks to observe the event occurrence times, thereby relaxing the assumption of the prior works that time can be measured precisely. In our paper, the passing of time is measured using the number of ticks generated by a digital-clock and we allow the plant events and digital-clock ticks to occur concurrently. We formalize the notion of a control policy that issues the control actions based on the observations of events and their occurrence times as measured using a digital-clock, and show that such a control policy can be equivalently represented as a “digitalized”-automaton, namely, an untimed-automaton that evolves over events (of the plant) and ticks (of the digital-clock). We introduce the notion of observability with respect to the partial observation of time resulting from the use of a digital-clock, and show that this property together with controllability serves as a necessary and sufficient condition for the existence of a supervisor to enforce a real-time specification on a dense-time discrete event plant. The observability condition presented in the paper is very different from the one arising due to a partial observation of events since a partial observation of time is in general nondeterministic (the number of ticks generated in any time interval can vary from execution to execution of a digital-clock). We also present a method to verify the proposed observability and controllability conditions, and an algorithm to compute a supervisor when such conditions are satisfied.
Sponsorship	IEEE Control Systems Society
Starting Page	2003
Ending Page	2013
Page Count	11
File Size	427111
File Format	PDF
ISSN	00189286
Volume Number	55
Issue Number	9
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2010-09-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Real time systems Control systems Controllability Time measurement Supervisory control Observability Discrete event systems Control system synthesis Automata Automatic control timed-automaton Dense-time digital-clock discrete event systems (DESs) supervisory control
Content Type	Text
Resource Type	Article
Subject	Control and Systems Engineering Electrical and Electronic Engineering Computer Science Applications

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

Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times

Diagnosis of Dense-Time Systems Under Event and Timing Masks

Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems

Reduced supervisors for timed discrete-event systems

Supervision localization of timed discrete-event systems

Supervisory control of real-time discrete-event systems using lattice theory

Hierarchical supervisory control of fuzzy discrete event systems

Supervisory control of timed discrete-event systems

Online supervision of discrete event systems

Real-Time Control of Dense-Time Systems Using Digital-Clocks

Similar Documents

Control of dense-time Discrete Event Systems using digital-clocks to observe event-occurrence times

Diagnosis of Dense-Time Systems Under Event and Timing Masks

Formalizing real-time scheduling using priority-based supervisory control of discrete-event systems

Reduced supervisors for timed discrete-event systems

Supervision localization of timed discrete-event systems

Supervisory control of real-time discrete-event systems using lattice theory

Hierarchical supervisory control of fuzzy discrete event systems

Supervisory control of timed discrete-event systems

Online supervision of discrete event systems

Real-Time Control of Dense-Time Systems Using Digital-Clocks