Calculating All Minimal Transition-Based Sensor Activation Policies for the Purpose of Supervisory Control

Consider the problem of designing a supervisory control in which the supervisor has control not merely over the inputs (or actuators), but can also choose to turn sensors on or off. In this context, the supervisor can flexibly adjust the set of activated sensors to reduce sensor utilization without...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on automatic control Vol. 62; no. 11; pp. 5894 - 5901
Main Authors Wang, Weilin, Gong, Chaohui
Format Journal Article
LanguageEnglish
Published IEEE 01.11.2017
Subjects
Online AccessGet full text
ISSN0018-9286
1558-2523
DOI10.1109/TAC.2016.2645765

Cover

Abstract Consider the problem of designing a supervisory control in which the supervisor has control not merely over the inputs (or actuators), but can also choose to turn sensors on or off. In this context, the supervisor can flexibly adjust the set of activated sensors to reduce sensor utilization without compromising the correctness of control decisions. Building upon existing methods for computing a transition-based minimal sensor activation policy, algorithms are presented in this technical note for computing all minimal transition-based sensor activation policies. This result is then extended for minimizing the numerical sensor activation cost for systems modeled by stochastic automata.
AbstractList Consider the problem of designing a supervisory control in which the supervisor has control not merely over the inputs (or actuators), but can also choose to turn sensors on or off. In this context, the supervisor can flexibly adjust the set of activated sensors to reduce sensor utilization without compromising the correctness of control decisions. Building upon existing methods for computing a transition-based minimal sensor activation policy, algorithms are presented in this technical note for computing all minimal transition-based sensor activation policies. This result is then extended for minimizing the numerical sensor activation cost for systems modeled by stochastic automata.
Author Chaohui Gong
Weilin Wang
Author_xml – sequence: 1
  givenname: Weilin
  surname: Wang
  fullname: Wang, Weilin
– sequence: 2
  givenname: Chaohui
  surname: Gong
  fullname: Gong, Chaohui
BookMark eNp9kE1LAzEQhoNUsK3eBS_5A1vzsclmj3XxCyoWWs9LNptoSkxKkhb6791a8eDB0zAv8wwzzwSMfPAagGuMZhij-nY9b2YEYT4jvGQVZ2dgjBkTBWGEjsAYISyKmgh-ASYpbYaWlyUeg00jndo5ma1_h3Pn4Iv19lM6uI7SJ5tt8MWdTLqHK-1TiHCust3LYw6XwVlldYJmyPOHhstd3IakYTBwtdvquLcDcYBN8DkGdwnOjXRJX_3UKXh7uF83T8Xi9fG5mS8KRTjNBaYV63ph-s6YTjHSVYZ0imOFaN8RIeqOKalEzZmuMVWSGSwwHR6SptKIczoF_LRXxZBS1KZVNn9fnKO0rsWoPRprB2Pt0Vj7Y2wA0R9wGwcX8fAfcnNCrNb6d7wSCOOS0i--QHqY
CODEN IETAA9
CitedBy_id crossref_primary_10_1109_TAC_2019_2955666
crossref_primary_10_1080_00207179_2024_2322662
crossref_primary_10_1007_s11768_020_9190_6
crossref_primary_10_1007_s10626_018_0272_2
crossref_primary_10_1016_j_automatica_2022_110480
Cites_doi 10.1016/j.automatica.2016.06.016
10.1109/WODES.2002.1167685
10.1007/s10626-008-0045-4
10.1016/j.automatica.2010.04.004
10.1109/9.543996
10.1109/TAC.2008.929873
10.1109/TASE.2012.2230443
10.1007/978-3-540-78929-1_6
10.1016/0020-0255(88)90001-1
10.1109/TAC.2010.2046062
10.1109/TAC.2003.809144
10.1109/TITS.2008.922925
10.1109/CDC.2007.4434935
10.1109/TAC.2013.2294613
10.1016/j.sysconle.2007.03.006
10.1007/s10626-007-0027-y
10.1137/0325013
10.1007/s10626-015-0212-3
10.1109/CDC.2008.4738663
10.1145/984622.984626
10.1109/TAC.2011.2108410
ContentType Journal Article
DBID 97E
RIA
RIE
AAYXX
CITATION
DOI 10.1109/TAC.2016.2645765
DatabaseName IEEE All-Society Periodicals Package (ASPP) 2005–Present
IEEE All-Society Periodicals Package (ASPP) 1998–Present
IEEE Electronic Library (IEL)
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
EISSN 1558-2523
EndPage 5901
ExternalDocumentID 10_1109_TAC_2016_2645765
7801143
Genre orig-research
GrantInformation_xml – fundername: US Air Force
  grantid: FA 8650-07-2-3744
– fundername: The Hujiang Foundation of China
  grantid: C14002
– fundername: Australian Research Council
  grantid: DP-130100156
  funderid: 10.13039/501100000923
– fundername: National Natural Science Foundation of China
  grantid: CNSF-61374058
  funderid: 10.13039/501100001809
– fundername: Shanghai Key Lab of Modern Optical Systems
– fundername: Shanghai Institutes of Higher Learning
GroupedDBID -~X
.DC
0R~
29I
3EH
4.4
5GY
5VS
6IK
97E
AAJGR
AARMG
AASAJ
AAWTH
ABAZT
ABQJQ
ABVLG
ACGFO
ACGFS
ACIWK
ACNCT
AENEX
AETIX
AGQYO
AGSQL
AHBIQ
AI.
AIBXA
AKJIK
AKQYR
ALLEH
ALMA_UNASSIGNED_HOLDINGS
ASUFR
ATWAV
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CS3
DU5
EBS
EJD
F5P
HZ~
H~9
IAAWW
IBMZZ
ICLAB
IDIHD
IFIPE
IFJZH
IPLJI
JAVBF
LAI
M43
MS~
O9-
OCL
P2P
RIA
RIE
RNS
TAE
TN5
VH1
VJK
~02
AAYOK
AAYXX
CITATION
RIG
ID FETCH-LOGICAL-c263t-1375bd8fdbffbc52b7f2bc61c03db2889b5cac8965e913ca5f1813001af7e0663
IEDL.DBID RIE
ISSN 0018-9286
IngestDate Tue Jul 01 03:36:13 EDT 2025
Thu Apr 24 23:01:39 EDT 2025
Wed Aug 27 02:52:17 EDT 2025
IsPeerReviewed true
IsScholarly true
Issue 11
Language English
License https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c263t-1375bd8fdbffbc52b7f2bc61c03db2889b5cac8965e913ca5f1813001af7e0663
PageCount 8
ParticipantIDs crossref_citationtrail_10_1109_TAC_2016_2645765
ieee_primary_7801143
crossref_primary_10_1109_TAC_2016_2645765
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2017-Nov.
2017-11-00
PublicationDateYYYYMMDD 2017-11-01
PublicationDate_xml – month: 11
  year: 2017
  text: 2017-Nov.
PublicationDecade 2010
PublicationTitle IEEE transactions on automatic control
PublicationTitleAbbrev TAC
PublicationYear 2017
Publisher IEEE
Publisher_xml – name: IEEE
References ref13
ref12
ref15
ref14
ref11
ref10
ref2
cassez (ref18) 2008; 88
ref1
ref17
ref16
wong (ref4) 0
ref19
van schuppen (ref7) 2004
ref24
ref23
ref25
ref20
ref22
ref21
norris (ref26) 1998
ref8
ref9
ref3
ref6
ricker (ref5) 0
References_xml – ident: ref23
  doi: 10.1016/j.automatica.2016.06.016
– start-page: 144
  year: 2004
  ident: ref7
  article-title: Decentralized control with communication between controllers
  publication-title: Unsolved Problems in Mathematical Systems and Control Theory
– ident: ref6
  doi: 10.1109/WODES.2002.1167685
– year: 1998
  ident: ref26
  publication-title: Markov Chains
– ident: ref10
  doi: 10.1007/s10626-008-0045-4
– ident: ref19
  doi: 10.1016/j.automatica.2010.04.004
– ident: ref14
  doi: 10.1109/9.543996
– ident: ref9
  doi: 10.1109/TAC.2008.929873
– ident: ref21
  doi: 10.1109/TASE.2012.2230443
– ident: ref16
  doi: 10.1007/978-3-540-78929-1_6
– start-page: 284
  year: 0
  ident: ref4
  article-title: Decentralized supervisory control of discrete-event systems with communication
  publication-title: Proc Int Workshop Discrete Event Syst (WODES'96)
– volume: 88
  start-page: 497
  year: 2008
  ident: ref18
  article-title: Fault diagnosis with static and dynamic observers
  publication-title: Fundamenta Informaticae
– ident: ref2
  doi: 10.1016/0020-0255(88)90001-1
– ident: ref20
  doi: 10.1109/TAC.2010.2046062
– ident: ref15
  doi: 10.1109/TAC.2003.809144
– ident: ref11
  doi: 10.1109/TITS.2008.922925
– start-page: 1002
  year: 0
  ident: ref5
  article-title: Decentralized failure diagnosis with asynchronuous communication between supervisors
  publication-title: Proc Eur Control Conf (ECC'01)
– ident: ref8
  doi: 10.1109/CDC.2007.4434935
– ident: ref22
  doi: 10.1109/TAC.2013.2294613
– ident: ref25
  doi: 10.1016/j.sysconle.2007.03.006
– ident: ref17
  doi: 10.1007/s10626-007-0027-y
– ident: ref1
  doi: 10.1137/0325013
– ident: ref24
  doi: 10.1007/s10626-015-0212-3
– ident: ref12
  doi: 10.1109/CDC.2008.4738663
– ident: ref13
  doi: 10.1145/984622.984626
– ident: ref3
  doi: 10.1109/TAC.2011.2108410
SSID ssj0016441
Score 2.2852156
Snippet Consider the problem of designing a supervisory control in which the supervisor has control not merely over the inputs (or actuators), but can also choose to...
SourceID crossref
ieee
SourceType Enrichment Source
Index Database
Publisher
StartPage 5894
SubjectTerms Automata
Computational modeling
Discrete event systems
Numerical models
Optimization
sensor activation
Supervisory control
Trajectory
Title Calculating All Minimal Transition-Based Sensor Activation Policies for the Purpose of Supervisory Control
URI https://ieeexplore.ieee.org/document/7801143
Volume 62
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1bS8MwFA7bnvTB2xTnjTz4Itita5peHudwDGEibIO9lSZNZFrbMbcH_fWek3ZliohvpSQQ-iX5vtNzI-RaAyn4TCdWyGJmubGCe1Ax38KI8zjwtOeaJLHRozecug8zPquR2yoXRillgs9UGx-NLz_J5Rp_lXX8AOU7q5M6bLMiV6vyGCCvF7cuHGAnqFySdtiZ9PoYw-W1gfxBXvNvFLTVU8VQymCfjDaLKSJJXtvrlWjLzx91Gv-72gOyV2pL2is2wyGpqeyI7G5VHGySl36cStOxK3umvTSlo3k2f4NJhrNM-JZ1B8SW0DHYt_mS9uSm_xk1JYTBsKagcynoRvoEIOXviuaajtcLvHRgxgftF9Hvx2Q6uJ_0h1bZbsGSjsewKb3PRRLoRGgtJHeErx0hva60WSKcIAgFl7EMQo-rsMtkzDWoAwYfPNa-QuVyQhpZnqlTQlUCZpVEpx2m3nbtmCculjS3u1JjW-sW6WwQiGRZixxbYqSRsUnsMALMIsQsKjFrkZtqxqKow_HH2CaiUY0rgTj7_fU52XGQqk1-4QVprJZrdQlCYyWuzA77AgWCzxA
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1bS8MwFD7ofFAfvIvzmgdfBLt1zdLL4xzKvEwEJ_hWmjSR6WxFtwf99Z6TdkVFxLdSEgj9knzf6bkBHBokhYCb1Il4wp12ovEe1DxwKOI8CX3jt22SWP_a7921L-7F_QwcV7kwWmsbfKYb9Gh9-WmuJvSrrBmEJN_5LMwJtCrCIlur8hkQsxf3Lh5hL6yckm7UHHS6FMXlN5D-UWCLbyT0pauKJZWzZehPl1PEkjw1JmPZUB8_KjX-d70rsFSqS9YptsMqzOhsDRa_1Bxch8duMlK2Z1f2wDqjEesPs-EzTrKsZQO4nBOktpTdooWbv7KOmnZAY7aIMJrWDJUuQ-XIbhCm_E2z3LDbyQtdOzjjnXWL-PcNuDs7HXR7TtlwwVGez6ktfSBkGppUGiOV8GRgPKn8lnJ5Kr0wjKRQiQojX-ioxVUiDOoDjh88MYEm7bIJtSzP9BYwnaJhpchtR8m3LTcRaZuKmrstZaixdR2aUwRiVVYjp6YYo9haJW4UI2YxYRaXmNXhqJrxUlTi-GPsOqFRjSuB2P799QHM9wb9q_jq_PpyBxY8Im6bbbgLtfHrRO-h7BjLfbvbPgEWKNJj
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Calculating+All+Minimal+Transition-Based+Sensor+Activation+Policies+for+the+Purpose+of+Supervisory+Control&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=Weilin+Wang&rft.au=Chaohui+Gong&rft.date=2017-11-01&rft.pub=IEEE&rft.issn=0018-9286&rft.volume=62&rft.issue=11&rft.spage=5894&rft.epage=5901&rft_id=info:doi/10.1109%2FTAC.2016.2645765&rft.externalDocID=7801143
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon