Stability of deterministic finite state machines

We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming b...

Full description

Saved in:
Bibliographic Details
Main Authors: Tarraf, D.C., Dahleh, M.A., Megretskr, A.
Format: Conference Proceeding
Language:English
Subjects:
Asymptotic stability
Automata
Discrete event systems
Lyapunov method
Nonlinear systems
Robust control
Robust stability
Space technology
Stability analysis
Sufficient conditions
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page 3936 vol. 6
container_issue
container_start_page 3932
container_title
container_volume
creator Tarraf, D.C.
Dahleh, M.A.
Megretskr, A.
description We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming based algorithms for verifying stability of a system, or lack thereof, in the finite gain input/output and the external sense. We show that for this class of systems, incremental input/output stability and external stability are equivalent notions, stronger than the notion of finite gain input/output stability.
doi_str_mv 10.1109/ACC.2005.1470590
format conference_proceeding
fullrecord <record><control><sourceid>proquest_6IE</sourceid><recordid>TN_cdi_ieee_primary_1470590</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1470590</ieee_id><sourcerecordid>29051295</sourcerecordid><originalsourceid>FETCH-LOGICAL-i248t-73522b356f9ec3b2e4d4da38602edf8d8ccff6010fbdb7b2245388c0284872523</originalsourceid><addsrcrecordid>eNo1UD1rwzAUVL-gSZq90MVTN6dPT5IljcH0CwId2s5Glp-oip2kljL039eQFI67gztuOMZuOaw4B_uwrusVAqgVlxqUhTO2tNrABGHBWn3OZii0KZWp-AWb_wfGXrIZaClKXnF7zeYpfQNwayuYMXjPro19zL_FLhQdZRqHuI0pR1-EyWQqUnYTD85_xS2lG3YVXJ9oedIF-3x6_Khfys3b82u93pQRpcmlFgqxFaoKlrxokWQnOydMBUhdMJ3xPoQKOIS2a3WLKJUwxgMaaTQqFAt2f9zdj7ufA6XcDDF56nu3pd0hNWhBcbRqKt4di5GImv0YBzf-NqeLxB9x2lSz</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>29051295</pqid></control><display><type>conference_proceeding</type><title>Stability of deterministic finite state machines</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Tarraf, D.C. ; Dahleh, M.A. ; Megretskr, A.</creator><creatorcontrib>Tarraf, D.C. ; Dahleh, M.A. ; Megretskr, A.</creatorcontrib><description>We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming based algorithms for verifying stability of a system, or lack thereof, in the finite gain input/output and the external sense. We show that for this class of systems, incremental input/output stability and external stability are equivalent notions, stronger than the notion of finite gain input/output stability.</description><identifier>ISSN: 0743-1619</identifier><identifier>ISBN: 0780390989</identifier><identifier>ISBN: 9780780390980</identifier><identifier>ISBN: 9780780390997</identifier><identifier>ISBN: 0780390997</identifier><identifier>EISSN: 2378-5861</identifier><identifier>EISBN: 9780780390997</identifier><identifier>EISBN: 0780390997</identifier><identifier>DOI: 10.1109/ACC.2005.1470590</identifier><language>eng</language><publisher>IEEE</publisher><subject>Asymptotic stability ; Automata ; Discrete event systems ; Lyapunov method ; Nonlinear systems ; Robust control ; Robust stability ; Space technology ; Stability analysis ; Sufficient conditions</subject><ispartof>2005 American Control Conference, 2005, p.3932-3936 vol. 6</ispartof><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/1470590$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,780,784,789,790,2058,27925,54555,54920,54932</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1470590$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Tarraf, D.C.</creatorcontrib><creatorcontrib>Dahleh, M.A.</creatorcontrib><creatorcontrib>Megretskr, A.</creatorcontrib><title>Stability of deterministic finite state machines</title><title>2005 American Control Conference</title><addtitle>ACC</addtitle><description>We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming based algorithms for verifying stability of a system, or lack thereof, in the finite gain input/output and the external sense. We show that for this class of systems, incremental input/output stability and external stability are equivalent notions, stronger than the notion of finite gain input/output stability.</description><subject>Asymptotic stability</subject><subject>Automata</subject><subject>Discrete event systems</subject><subject>Lyapunov method</subject><subject>Nonlinear systems</subject><subject>Robust control</subject><subject>Robust stability</subject><subject>Space technology</subject><subject>Stability analysis</subject><subject>Sufficient conditions</subject><issn>0743-1619</issn><issn>2378-5861</issn><isbn>0780390989</isbn><isbn>9780780390980</isbn><isbn>9780780390997</isbn><isbn>0780390997</isbn><isbn>9780780390997</isbn><isbn>0780390997</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo1UD1rwzAUVL-gSZq90MVTN6dPT5IljcH0CwId2s5Glp-oip2kljL039eQFI67gztuOMZuOaw4B_uwrusVAqgVlxqUhTO2tNrABGHBWn3OZii0KZWp-AWb_wfGXrIZaClKXnF7zeYpfQNwayuYMXjPro19zL_FLhQdZRqHuI0pR1-EyWQqUnYTD85_xS2lG3YVXJ9oedIF-3x6_Khfys3b82u93pQRpcmlFgqxFaoKlrxokWQnOydMBUhdMJ3xPoQKOIS2a3WLKJUwxgMaaTQqFAt2f9zdj7ufA6XcDDF56nu3pd0hNWhBcbRqKt4di5GImv0YBzf-NqeLxB9x2lSz</recordid><startdate>20050101</startdate><enddate>20050101</enddate><creator>Tarraf, D.C.</creator><creator>Dahleh, M.A.</creator><creator>Megretskr, A.</creator><general>IEEE</general><scope>6IE</scope><scope>6IH</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIO</scope><scope>7SC</scope><scope>7SP</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>H8D</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20050101</creationdate><title>Stability of deterministic finite state machines</title><author>Tarraf, D.C. ; Dahleh, M.A. ; Megretskr, A.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i248t-73522b356f9ec3b2e4d4da38602edf8d8ccff6010fbdb7b2245388c0284872523</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Asymptotic stability</topic><topic>Automata</topic><topic>Discrete event systems</topic><topic>Lyapunov method</topic><topic>Nonlinear systems</topic><topic>Robust control</topic><topic>Robust stability</topic><topic>Space technology</topic><topic>Stability analysis</topic><topic>Sufficient conditions</topic><toplevel>online_resources</toplevel><creatorcontrib>Tarraf, D.C.</creatorcontrib><creatorcontrib>Dahleh, M.A.</creatorcontrib><creatorcontrib>Megretskr, 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>IEL</collection><collection>IEEE Proceedings Order Plans (POP) 1998-present</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics &amp; Communications Abstracts</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>Aerospace Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Tarraf, D.C.</au><au>Dahleh, M.A.</au><au>Megretskr, A.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Stability of deterministic finite state machines</atitle><btitle>2005 American Control Conference</btitle><stitle>ACC</stitle><date>2005-01-01</date><risdate>2005</risdate><spage>3932</spage><epage>3936 vol. 6</epage><pages>3932-3936 vol. 6</pages><issn>0743-1619</issn><eissn>2378-5861</eissn><isbn>0780390989</isbn><isbn>9780780390980</isbn><isbn>9780780390997</isbn><isbn>0780390997</isbn><eisbn>9780780390997</eisbn><eisbn>0780390997</eisbn><abstract>We approach deterministic finite state machines from a systems point of view and we consider three notions of input/output stability: finite gain input/output stability, external stability and incremental input/output stability, as they apply to this class of systems. We propose linear programming based algorithms for verifying stability of a system, or lack thereof, in the finite gain input/output and the external sense. We show that for this class of systems, incremental input/output stability and external stability are equivalent notions, stronger than the notion of finite gain input/output stability.</abstract><pub>IEEE</pub><doi>10.1109/ACC.2005.1470590</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 0743-1619
ispartof 2005 American Control Conference, 2005, p.3932-3936 vol. 6
issn 0743-1619
2378-5861
language eng
recordid cdi_ieee_primary_1470590
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Asymptotic stability
Automata
Discrete event systems
Lyapunov method
Nonlinear systems
Robust control
Robust stability
Space technology
Stability analysis
Sufficient conditions
title Stability of deterministic finite state machines
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T14%3A18%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Stability%20of%20deterministic%20finite%20state%20machines&rft.btitle=2005%20American%20Control%20Conference&rft.au=Tarraf,%20D.C.&rft.date=2005-01-01&rft.spage=3932&rft.epage=3936%20vol.%206&rft.pages=3932-3936%20vol.%206&rft.issn=0743-1619&rft.eissn=2378-5861&rft.isbn=0780390989&rft.isbn_list=9780780390980&rft.isbn_list=9780780390997&rft.isbn_list=0780390997&rft_id=info:doi/10.1109/ACC.2005.1470590&rft.eisbn=9780780390997&rft.eisbn_list=0780390997&rft_dat=%3Cproquest_6IE%3E29051295%3C/proquest_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i248t-73522b356f9ec3b2e4d4da38602edf8d8ccff6010fbdb7b2245388c0284872523%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=29051295&rft_id=info:pmid/&rft_ieee_id=1470590&rfr_iscdi=true