Reduction of Timed Hybrid Systems
Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those pr...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
|---|
| Format: |
E-Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
1998 |
|---|
| Umfang: |
9 |
|---|
| Reproduktion: |
Springer Online Journal Archives 1860-2002 |
|---|---|
| Übergeordnetes Werk: |
in: Discrete event dynamic systems - 1991, 8(1998) vom: Apr., Seite 343-351 |
| Übergeordnetes Werk: |
volume:8 ; year:1998 ; month:04 ; pages:343-351 ; extent:9 |
| Links: |
|---|
| Katalog-ID: |
NLEJ189765127 |
|---|
| LEADER | 01000caa a22002652 4500 | ||
|---|---|---|---|
| 001 | NLEJ189765127 | ||
| 003 | DE-627 | ||
| 005 | 20210707131708.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 070525s1998 xx |||||o 00| ||eng c | ||
| 035 | |a (DE-627)NLEJ189765127 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 245 | 1 | 0 | |a Reduction of Timed Hybrid Systems |
| 264 | 1 | |c 1998 | |
| 300 | |a 9 | ||
| 336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
| 337 | |a nicht spezifiziert |b z |2 rdamedia | ||
| 338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
| 520 | |a Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. | ||
| 533 | |f Springer Online Journal Archives 1860-2002 | ||
| 700 | 1 | |a Gennaro, S. Di |4 oth | |
| 700 | 1 | |a Horn, C. |4 oth | |
| 700 | 1 | |a Kulkarni, S. R. |4 oth | |
| 700 | 1 | |a Ramadge, P. J. |4 oth | |
| 773 | 0 | 8 | |i in |t Discrete event dynamic systems |d 1991 |g 8(1998) vom: Apr., Seite 343-351 |w (DE-627)NLEJ188985336 |w (DE-600)1502222-5 |x 1573-7594 |7 nnns |
| 773 | 1 | 8 | |g volume:8 |g year:1998 |g month:04 |g pages:343-351 |g extent:9 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1023/A:1008385431572 |
| 912 | |a GBV_USEFLAG_U | ||
| 912 | |a ZDB-1-SOJ | ||
| 912 | |a GBV_NL_ARTICLE | ||
| 951 | |a AR | ||
| 952 | |d 8 |j 1998 |c 4 |h 343-351 |g 9 | ||
| matchkey_str |
article:15737594:1998----::eutootmdyr |
|---|---|
| hierarchy_sort_str |
1998 |
| publishDate |
1998 |
| allfields |
(DE-627)NLEJ189765127 DE-627 ger DE-627 rakwb eng Reduction of Timed Hybrid Systems 1998 9 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. Springer Online Journal Archives 1860-2002 Gennaro, S. Di oth Horn, C. oth Kulkarni, S. R. oth Ramadge, P. J. oth in Discrete event dynamic systems 1991 8(1998) vom: Apr., Seite 343-351 (DE-627)NLEJ188985336 (DE-600)1502222-5 1573-7594 nnns volume:8 year:1998 month:04 pages:343-351 extent:9 http://dx.doi.org/10.1023/A:1008385431572 GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE AR 8 1998 4 343-351 9 |
| spelling |
(DE-627)NLEJ189765127 DE-627 ger DE-627 rakwb eng Reduction of Timed Hybrid Systems 1998 9 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. Springer Online Journal Archives 1860-2002 Gennaro, S. Di oth Horn, C. oth Kulkarni, S. R. oth Ramadge, P. J. oth in Discrete event dynamic systems 1991 8(1998) vom: Apr., Seite 343-351 (DE-627)NLEJ188985336 (DE-600)1502222-5 1573-7594 nnns volume:8 year:1998 month:04 pages:343-351 extent:9 http://dx.doi.org/10.1023/A:1008385431572 GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE AR 8 1998 4 343-351 9 |
| allfields_unstemmed |
(DE-627)NLEJ189765127 DE-627 ger DE-627 rakwb eng Reduction of Timed Hybrid Systems 1998 9 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. Springer Online Journal Archives 1860-2002 Gennaro, S. Di oth Horn, C. oth Kulkarni, S. R. oth Ramadge, P. J. oth in Discrete event dynamic systems 1991 8(1998) vom: Apr., Seite 343-351 (DE-627)NLEJ188985336 (DE-600)1502222-5 1573-7594 nnns volume:8 year:1998 month:04 pages:343-351 extent:9 http://dx.doi.org/10.1023/A:1008385431572 GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE AR 8 1998 4 343-351 9 |
| allfieldsGer |
(DE-627)NLEJ189765127 DE-627 ger DE-627 rakwb eng Reduction of Timed Hybrid Systems 1998 9 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. Springer Online Journal Archives 1860-2002 Gennaro, S. Di oth Horn, C. oth Kulkarni, S. R. oth Ramadge, P. J. oth in Discrete event dynamic systems 1991 8(1998) vom: Apr., Seite 343-351 (DE-627)NLEJ188985336 (DE-600)1502222-5 1573-7594 nnns volume:8 year:1998 month:04 pages:343-351 extent:9 http://dx.doi.org/10.1023/A:1008385431572 GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE AR 8 1998 4 343-351 9 |
| allfieldsSound |
(DE-627)NLEJ189765127 DE-627 ger DE-627 rakwb eng Reduction of Timed Hybrid Systems 1998 9 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. Springer Online Journal Archives 1860-2002 Gennaro, S. Di oth Horn, C. oth Kulkarni, S. R. oth Ramadge, P. J. oth in Discrete event dynamic systems 1991 8(1998) vom: Apr., Seite 343-351 (DE-627)NLEJ188985336 (DE-600)1502222-5 1573-7594 nnns volume:8 year:1998 month:04 pages:343-351 extent:9 http://dx.doi.org/10.1023/A:1008385431572 GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE AR 8 1998 4 343-351 9 |
| language |
English |
| source |
in Discrete event dynamic systems 8(1998) vom: Apr., Seite 343-351 volume:8 year:1998 month:04 pages:343-351 extent:9 |
| sourceStr |
in Discrete event dynamic systems 8(1998) vom: Apr., Seite 343-351 volume:8 year:1998 month:04 pages:343-351 extent:9 |
| format_phy_str_mv |
Article |
| institution |
findex.gbv.de |
| isfreeaccess_bool |
false |
| container_title |
Discrete event dynamic systems |
| authorswithroles_txt_mv |
Gennaro, S. Di @@oth@@ Horn, C. @@oth@@ Kulkarni, S. R. @@oth@@ Ramadge, P. J. @@oth@@ |
| publishDateDaySort_date |
1998-04-01T00:00:00Z |
| hierarchy_top_id |
NLEJ188985336 |
| id |
NLEJ189765127 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">NLEJ189765127</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20210707131708.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">070525s1998 xx |||||o 00| ||eng c</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)NLEJ189765127</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reduction of Timed Hybrid Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">9</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="f">Springer Online Journal Archives 1860-2002</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gennaro, S. Di</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Horn, C.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulkarni, S. R.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramadge, P. J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">in</subfield><subfield code="t">Discrete event dynamic systems</subfield><subfield code="d">1991</subfield><subfield code="g">8(1998) vom: Apr., Seite 343-351</subfield><subfield code="w">(DE-627)NLEJ188985336</subfield><subfield code="w">(DE-600)1502222-5</subfield><subfield code="x">1573-7594</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:8</subfield><subfield code="g">year:1998</subfield><subfield code="g">month:04</subfield><subfield code="g">pages:343-351</subfield><subfield code="g">extent:9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1023/A:1008385431572</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SOJ</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_NL_ARTICLE</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">8</subfield><subfield code="j">1998</subfield><subfield code="c">4</subfield><subfield code="h">343-351</subfield><subfield code="g">9</subfield></datafield></record></collection>
|
| series2 |
Springer Online Journal Archives 1860-2002 |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)NLEJ188985336 |
| format |
electronic Article |
| delete_txt_mv |
keep |
| collection |
NL |
| remote_str |
true |
| illustrated |
Not Illustrated |
| issn |
1573-7594 |
| topic_title |
Reduction of Timed Hybrid Systems |
| format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
zu |
| author2_variant |
s d g sd sdg c h ch s r k sr srk p j r pj pjr |
| hierarchy_parent_title |
Discrete event dynamic systems |
| hierarchy_parent_id |
NLEJ188985336 |
| hierarchy_top_title |
Discrete event dynamic systems |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)NLEJ188985336 (DE-600)1502222-5 |
| title |
Reduction of Timed Hybrid Systems |
| spellingShingle |
Reduction of Timed Hybrid Systems |
| ctrlnum |
(DE-627)NLEJ189765127 |
| title_full |
Reduction of Timed Hybrid Systems |
| journal |
Discrete event dynamic systems |
| journalStr |
Discrete event dynamic systems |
| lang_code |
eng |
| isOA_bool |
false |
| recordtype |
marc |
| publishDateSort |
1998 |
| contenttype_str_mv |
zzz |
| container_start_page |
343 |
| container_volume |
8 |
| physical |
9 |
| format_se |
Elektronische Aufsätze |
| title_sort |
reduction of timed hybrid systems |
| title_auth |
Reduction of Timed Hybrid Systems |
| abstract |
Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. |
| abstractGer |
Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. |
| abstract_unstemmed |
Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions. |
| collection_details |
GBV_USEFLAG_U ZDB-1-SOJ GBV_NL_ARTICLE |
| title_short |
Reduction of Timed Hybrid Systems |
| url |
http://dx.doi.org/10.1023/A:1008385431572 |
| remote_bool |
true |
| author2 |
Gennaro, S. Di Horn, C. Kulkarni, S. R. Ramadge, P. J. |
| author2Str |
Gennaro, S. Di Horn, C. Kulkarni, S. R. Ramadge, P. J. |
| ppnlink |
NLEJ188985336 |
| mediatype_str_mv |
z |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| author2_role |
oth oth oth oth |
| up_date |
2024-07-06T02:01:47.052Z |
| _version_ |
1803793263024406528 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">NLEJ189765127</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20210707131708.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">070525s1998 xx |||||o 00| ||eng c</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)NLEJ189765127</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reduction of Timed Hybrid Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">9</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract We consider a class of hybrid dynamical systems and obtain conditions under which the behavior of these systems can be reduced to a finite state automaton. Specifically, we consider timed automata with more general enabling regions coupling the continuous and discrete dynamics than those previously considered. We provide a necessary condition for the existence of a finite state reduction, together with examples showing that this condition is not sufficient. We then give two sufficient conditions that provide a large class of systems with general enabling regions which admit finite reductions.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="f">Springer Online Journal Archives 1860-2002</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gennaro, S. Di</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Horn, C.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kulkarni, S. R.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ramadge, P. J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">in</subfield><subfield code="t">Discrete event dynamic systems</subfield><subfield code="d">1991</subfield><subfield code="g">8(1998) vom: Apr., Seite 343-351</subfield><subfield code="w">(DE-627)NLEJ188985336</subfield><subfield code="w">(DE-600)1502222-5</subfield><subfield code="x">1573-7594</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:8</subfield><subfield code="g">year:1998</subfield><subfield code="g">month:04</subfield><subfield code="g">pages:343-351</subfield><subfield code="g">extent:9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1023/A:1008385431572</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SOJ</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_NL_ARTICLE</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">8</subfield><subfield code="j">1998</subfield><subfield code="c">4</subfield><subfield code="h">343-351</subfield><subfield code="g">9</subfield></datafield></record></collection>
|
| score |
7.400509 |