Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study
We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1441 Vol.2 |
|---|---|
| container_issue | |
| container_start_page | 1436 |
| container_title | |
| container_volume | 2 |
| creator | Tarraf, D.C. Megretski, A. Dahleh, M.A. |
| description | We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under which the bounds are valid. |
| doi_str_mv | 10.1109/CDC.2004.1430245 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>pascalfrancis_6IE</sourceid><recordid>TN_cdi_ieee_primary_1430245</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1430245</ieee_id><sourcerecordid>17498227</sourcerecordid><originalsourceid>FETCH-LOGICAL-i247t-9fe2fb69c7f001238a6ae2e2d725826431d90a81ab51089365c55bdb3658681d3</originalsourceid><addsrcrecordid>eNpFkEFLxDAQhQMquOreBS-5eOw6Sds08SbVVWHBi56XaTPFyLZdkxRdf73BXRAG5oP3ZuA9xi4FLIQAc1Pf1wsJUCxEkYMsyiM2N5WGNLlWWspjNgNhRCalUKfsLIQPANCg1IyFpRtcJI5THHuMyHG79eO3S-zGIfAvF985eT963ozTYAPvEoZdiNQf1M8Jh-h-yHJs4_R3x3GwvCcMk6eehnjLkbcYiIc42d0FO-lwE2h-2OfsbfnwWj9lq5fH5_pulTlZVDEzHcmuUaatOgAhc40KSZK0lSy1VEUurAHUAptSgDa5KtuybGyTIKUWNj9n1_u_WwwtbjqPQ-vCeutTOr9bi6owqZwq-a72PkdE__K-y_wXGb5pNw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Tarraf, D.C. ; Megretski, A. ; Dahleh, M.A.</creator><creatorcontrib>Tarraf, D.C. ; Megretski, A. ; Dahleh, M.A.</creatorcontrib><description>We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under which the bounds are valid.</description><identifier>ISSN: 0191-2216</identifier><identifier>ISBN: 9780780386822</identifier><identifier>ISBN: 0780386825</identifier><identifier>DOI: 10.1109/CDC.2004.1430245</identifier><language>eng</language><publisher>Piscataway NJ: IEEE</publisher><subject>Applied sciences ; Approximation algorithms ; Approximation error ; Automata ; Automatic control ; Computer aided software engineering ; Computer science; control theory; systems ; Control systems ; Control theory. Systems ; Exact sciences and technology ; Output feedback ; Pervasive computing ; State-space methods ; Time measurement</subject><ispartof>2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), 2004, Vol.2, p.1436-1441 Vol.2</ispartof><rights>2006 INIST-CNRS</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1430245$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,4050,4051,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1430245$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17498227$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Tarraf, D.C.</creatorcontrib><creatorcontrib>Megretski, A.</creatorcontrib><creatorcontrib>Dahleh, M.A.</creatorcontrib><title>Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study</title><title>2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)</title><addtitle>CDC</addtitle><description>We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under which the bounds are valid.</description><subject>Applied sciences</subject><subject>Approximation algorithms</subject><subject>Approximation error</subject><subject>Automata</subject><subject>Automatic control</subject><subject>Computer aided software engineering</subject><subject>Computer science; control theory; systems</subject><subject>Control systems</subject><subject>Control theory. Systems</subject><subject>Exact sciences and technology</subject><subject>Output feedback</subject><subject>Pervasive computing</subject><subject>State-space methods</subject><subject>Time measurement</subject><issn>0191-2216</issn><isbn>9780780386822</isbn><isbn>0780386825</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2004</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNpFkEFLxDAQhQMquOreBS-5eOw6Sds08SbVVWHBi56XaTPFyLZdkxRdf73BXRAG5oP3ZuA9xi4FLIQAc1Pf1wsJUCxEkYMsyiM2N5WGNLlWWspjNgNhRCalUKfsLIQPANCg1IyFpRtcJI5THHuMyHG79eO3S-zGIfAvF985eT963ozTYAPvEoZdiNQf1M8Jh-h-yHJs4_R3x3GwvCcMk6eehnjLkbcYiIc42d0FO-lwE2h-2OfsbfnwWj9lq5fH5_pulTlZVDEzHcmuUaatOgAhc40KSZK0lSy1VEUurAHUAptSgDa5KtuybGyTIKUWNj9n1_u_WwwtbjqPQ-vCeutTOr9bi6owqZwq-a72PkdE__K-y_wXGb5pNw</recordid><startdate>2004</startdate><enddate>2004</enddate><creator>Tarraf, D.C.</creator><creator>Megretski, A.</creator><creator>Dahleh, M.A.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope><scope>IQODW</scope></search><sort><creationdate>2004</creationdate><title>Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study</title><author>Tarraf, D.C. ; Megretski, A. ; Dahleh, M.A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i247t-9fe2fb69c7f001238a6ae2e2d725826431d90a81ab51089365c55bdb3658681d3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2004</creationdate><topic>Applied sciences</topic><topic>Approximation algorithms</topic><topic>Approximation error</topic><topic>Automata</topic><topic>Automatic control</topic><topic>Computer aided software engineering</topic><topic>Computer science; control theory; systems</topic><topic>Control systems</topic><topic>Control theory. Systems</topic><topic>Exact sciences and technology</topic><topic>Output feedback</topic><topic>Pervasive computing</topic><topic>State-space methods</topic><topic>Time measurement</topic><toplevel>online_resources</toplevel><creatorcontrib>Tarraf, D.C.</creatorcontrib><creatorcontrib>Megretski, A.</creatorcontrib><creatorcontrib>Dahleh, M.A.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan (POP) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Tarraf, D.C.</au><au>Megretski, A.</au><au>Dahleh, M.A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study</atitle><btitle>2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601)</btitle><stitle>CDC</stitle><date>2004</date><risdate>2004</risdate><volume>2</volume><spage>1436</spage><epage>1441 Vol.2</epage><pages>1436-1441 Vol.2</pages><issn>0191-2216</issn><isbn>9780780386822</isbn><isbn>0780386825</isbn><abstract>We consider stable, discrete time, first order LTI systems with finite input alphabets and quantized outputs. We propose an algorithm for generating deterministic finite state machine approximations of these systems with computable bounds on approximation error, and we describe the conditions under which the bounds are valid.</abstract><cop>Piscataway NJ</cop><pub>IEEE</pub><doi>10.1109/CDC.2004.1430245</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 0191-2216 |
| ispartof | 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601), 2004, Vol.2, p.1436-1441 Vol.2 |
| issn | 0191-2216 |
| language | eng |
| recordid | cdi_ieee_primary_1430245 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Applied sciences Approximation algorithms Approximation error Automata Automatic control Computer aided software engineering Computer science control theory systems Control systems Control theory. Systems Exact sciences and technology Output feedback Pervasive computing State-space methods Time measurement |
| title | Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T13%3A33%3A28IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Finite%20automata%20approximations%20with%20error%20bounds%20for%20systems%20with%20quantized%20actuation%20and%20measurement:%20a%20case%20study&rft.btitle=2004%2043rd%20IEEE%20Conference%20on%20Decision%20and%20Control%20(CDC)%20(IEEE%20Cat.%20No.04CH37601)&rft.au=Tarraf,%20D.C.&rft.date=2004&rft.volume=2&rft.spage=1436&rft.epage=1441%20Vol.2&rft.pages=1436-1441%20Vol.2&rft.issn=0191-2216&rft.isbn=9780780386822&rft.isbn_list=0780386825&rft_id=info:doi/10.1109/CDC.2004.1430245&rft_dat=%3Cpascalfrancis_6IE%3E17498227%3C/pascalfrancis_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1430245&rfr_iscdi=true |