Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations

This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the l-complete approximation scheme by Moor and Raisch ("Discrete supervisory control of hybrid systems based on l-complete approximations," 2002) and partial observation. An underlying...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on automatic control 2015-05, Vol.60 (5), p.1404-1409
Main Authors: Seong-Jin Park, Raisch, Joerg
Format: Article
Language:English
Subjects:
Aerospace electronics
Approximation methods
Lead
Observability
Observers
Supervisory control
Trajectory
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43
cites cdi_FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43
container_end_page 1409
container_issue 5
container_start_page 1404
container_title IEEE transactions on automatic control
container_volume 60
creator Seong-Jin Park
Raisch, Joerg
description This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the l-complete approximation scheme by Moor and Raisch ("Discrete supervisory control of hybrid systems based on l-complete approximations," 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state space, and its external behavior is described by discrete input/output signals with finite range, and some output signal is assumed to be unmeasurable. For the strongest l-complete approximation of the plant, which is realized by a finite state machine, we present a method to design a finite state supervisor to achieve a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant.
doi_str_mv 10.1109/TAC.2014.2353132
format article
fullrecord <record><control><sourceid>crossref_ieee_</sourceid><recordid>TN_cdi_crossref_primary_10_1109_TAC_2014_2353132</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6887348</ieee_id><sourcerecordid>10_1109_TAC_2014_2353132</sourcerecordid><originalsourceid>FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43</originalsourceid><addsrcrecordid>eNo9kF9LwzAUxYMoWKfvgi_5Ap3522aPtegmDCZsey5pcwuRtilJFfvtzdzw6dxzOedy-SH0SMmSUrJ6PhTlkhEqloxLTjm7QgmVUqVMMn6NEkKoSldMZbfoLoTPaDMhaILq_dcI_tsG52dcumHyrsOuxZu59tbg_Rwm6AM-DgY8_tB-srrDuzrEjp6sG_CLDmBwHLq0dP3YwQS4GEfvfmz_lwj36KbVXYCHiy7Q8e31UG7S7W79XhbbtGEZn1LGDBCqgbSiloZJaZQRupFNDpw3JqriBrQ2TZ1Ha0TcaFYTRWlmci34ApHz3ca7EDy01ejjD36uKKlOjKrIqDoxqi6MYuXpXLEA8B_PlMq5UPwXOB5lUQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations</title><source>IEEE Electronic Library (IEL) Journals</source><creator>Seong-Jin Park ; Raisch, Joerg</creator><creatorcontrib>Seong-Jin Park ; Raisch, Joerg</creatorcontrib><description>This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the l-complete approximation scheme by Moor and Raisch ("Discrete supervisory control of hybrid systems based on l-complete approximations," 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state space, and its external behavior is described by discrete input/output signals with finite range, and some output signal is assumed to be unmeasurable. For the strongest l-complete approximation of the plant, which is realized by a finite state machine, we present a method to design a finite state supervisor to achieve a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant.</description><identifier>ISSN: 0018-9286</identifier><identifier>EISSN: 1558-2523</identifier><identifier>DOI: 10.1109/TAC.2014.2353132</identifier><identifier>CODEN: IETAA9</identifier><language>eng</language><publisher>IEEE</publisher><subject>Aerospace electronics ; Approximation methods ; Lead ; Observability ; Observers ; Supervisory control ; Trajectory</subject><ispartof>IEEE transactions on automatic control, 2015-05, Vol.60 (5), p.1404-1409</ispartof><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43</citedby><cites>FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6887348$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,27922,27923,54794</link.rule.ids></links><search><creatorcontrib>Seong-Jin Park</creatorcontrib><creatorcontrib>Raisch, Joerg</creatorcontrib><title>Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations</title><title>IEEE transactions on automatic control</title><addtitle>TAC</addtitle><description>This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the l-complete approximation scheme by Moor and Raisch ("Discrete supervisory control of hybrid systems based on l-complete approximations," 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state space, and its external behavior is described by discrete input/output signals with finite range, and some output signal is assumed to be unmeasurable. For the strongest l-complete approximation of the plant, which is realized by a finite state machine, we present a method to design a finite state supervisor to achieve a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant.</description><subject>Aerospace electronics</subject><subject>Approximation methods</subject><subject>Lead</subject><subject>Observability</subject><subject>Observers</subject><subject>Supervisory control</subject><subject>Trajectory</subject><issn>0018-9286</issn><issn>1558-2523</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><recordid>eNo9kF9LwzAUxYMoWKfvgi_5Ap3522aPtegmDCZsey5pcwuRtilJFfvtzdzw6dxzOedy-SH0SMmSUrJ6PhTlkhEqloxLTjm7QgmVUqVMMn6NEkKoSldMZbfoLoTPaDMhaILq_dcI_tsG52dcumHyrsOuxZu59tbg_Rwm6AM-DgY8_tB-srrDuzrEjp6sG_CLDmBwHLq0dP3YwQS4GEfvfmz_lwj36KbVXYCHiy7Q8e31UG7S7W79XhbbtGEZn1LGDBCqgbSiloZJaZQRupFNDpw3JqriBrQ2TZ1Ha0TcaFYTRWlmci34ApHz3ca7EDy01ejjD36uKKlOjKrIqDoxqi6MYuXpXLEA8B_PlMq5UPwXOB5lUQ</recordid><startdate>201505</startdate><enddate>201505</enddate><creator>Seong-Jin Park</creator><creator>Raisch, Joerg</creator><general>IEEE</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>201505</creationdate><title>Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations</title><author>Seong-Jin Park ; Raisch, Joerg</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Aerospace electronics</topic><topic>Approximation methods</topic><topic>Lead</topic><topic>Observability</topic><topic>Observers</topic><topic>Supervisory control</topic><topic>Trajectory</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Seong-Jin Park</creatorcontrib><creatorcontrib>Raisch, Joerg</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEL</collection><collection>CrossRef</collection><jtitle>IEEE transactions on automatic control</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Seong-Jin Park</au><au>Raisch, Joerg</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations</atitle><jtitle>IEEE transactions on automatic control</jtitle><stitle>TAC</stitle><date>2015-05</date><risdate>2015</risdate><volume>60</volume><issue>5</issue><spage>1404</spage><epage>1409</epage><pages>1404-1409</pages><issn>0018-9286</issn><eissn>1558-2523</eissn><coden>IETAA9</coden><abstract>This paper addresses a supervisory control problem for time invariant hybrid dynamical systems based on the l-complete approximation scheme by Moor and Raisch ("Discrete supervisory control of hybrid systems based on l-complete approximations," 2002) and partial observation. An underlying hybrid plant is realized by a hybrid state machine with an infinite state space, and its external behavior is described by discrete input/output signals with finite range, and some output signal is assumed to be unmeasurable. For the strongest l-complete approximation of the plant, which is realized by a finite state machine, we present a method to design a finite state supervisor to achieve a given specification. The supervisor cannot observe the unmeasurable output signal. Finally, we show that the finite state supervisor also meets the specification for the underlying hybrid plant.</abstract><pub>IEEE</pub><doi>10.1109/TAC.2014.2353132</doi><tpages>6</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0018-9286
ispartof IEEE transactions on automatic control, 2015-05, Vol.60 (5), p.1404-1409
issn 0018-9286
1558-2523
language eng
recordid cdi_crossref_primary_10_1109_TAC_2014_2353132
source IEEE Electronic Library (IEL) Journals
subjects Aerospace electronics
Approximation methods
Lead
Observability
Observers
Supervisory control
Trajectory
title Supervisory Control of Hybrid Systems Under Partial Observation Based on l-Complete Approximations
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-14T13%3A47%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref_ieee_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Supervisory%20Control%20of%20Hybrid%20Systems%20Under%20Partial%20Observation%20Based%20on%20l-Complete%20Approximations&rft.jtitle=IEEE%20transactions%20on%20automatic%20control&rft.au=Seong-Jin%20Park&rft.date=2015-05&rft.volume=60&rft.issue=5&rft.spage=1404&rft.epage=1409&rft.pages=1404-1409&rft.issn=0018-9286&rft.eissn=1558-2523&rft.coden=IETAA9&rft_id=info:doi/10.1109/TAC.2014.2353132&rft_dat=%3Ccrossref_ieee_%3E10_1109_TAC_2014_2353132%3C/crossref_ieee_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c263t-22de01ae0f4b5d255d8d4ac5c7e33cd5c783deaadcb7cd5d45c7a2b08116d7a43%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6887348&rfr_iscdi=true