InforLorV4, PascalFrancis, Corpus, bibRecord, 000A19

Effective synthesis of switching controllers for linear systems

Identifieur interne : 000A19 ( PascalFrancis/Corpus ); précédent : 000A18; suivant : 000A20

Effective synthesis of switching controllers for linear systems

Auteurs : Eugene Asarin ; Olivier Bournez ; THAO DANG ; Oded Maler ; Amir Pnueli

Source :

Proceedings of the IEEE [ 0018-9219 ] ; 2000.

RBID : Pascal:00-0489964

Descripteurs français

Pascal (Inist)
- Synthèse système, Système commande, Système hybride, Système linéaire, Régime commutation, Automate, Modélisation, Algorithme, Switching controller.

English descriptors

KwdEn :
- Algorithm, Automaton, Control system, Hybrid system, Linear system, Modeling, Switching conditions, System synthesis.

Abstract

In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.

Notice en format standard (ISO 2709)

Pour connaître la documentation sur le format Inist Standard.

A01	`01`	`1`		`@0 0018-9219`
A02	`01`			`@0 IEEPAD`
A03		`1`		`@0 Proc. IEEE`
A05				`@2 88`
A06				`@2 7`
A08	`01`	`1`	`ENG`	`@1 Effective synthesis of switching controllers for linear systems`
A11	`01`	`1`		`@1 ASARIN (Eugene)`
A11	`02`	`1`		`@1 BOURNEZ (Olivier)`
A11	`03`	`1`		`@1 THAO DANG`
A11	`04`	`1`		`@1 MALER (Oded)`
A11	`05`	`1`		`@1 PNUELI (Amir)`
A14	`01`			`@1 VERIMAG @2 Gieres 38610 @3 FRA @Z 1 aut. @Z 3 aut. @Z 4 aut.`
A14	`02`			`@1 LORIA @2 Nancy 54602 @3 FRA @Z 2 aut.`
A14	`03`			`@1 Weizmann Institute of Science @2 Rehovot 76100 @3 ISR @Z 5 aut.`
A20				`@1 1011-1025`
A21				`@1 2000`
A23	`01`			`@0 ENG`
A43	`01`			`@1 INIST @2 222 @5 354000091099850070`
A44				`@0 0000 @1 © 2000 INIST-CNRS. All rights reserved.`
A45				`@0 55 ref.`
A47	`01`	`1`		`@0 00-0489964`
A60				`@1 P`
A61				`@0 A`
A64	`01`	`1`		`@0 Proceedings of the IEEE`
A66	`01`			`@0 USA`
C01	`01`		`ENG`	@0 In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.
C02	`01`	`X`		`@0 001D02D07`
C03	`01`	`X`	`FRE`	`@0 Synthèse système @5 01`
C03	`01`	`X`	`ENG`	`@0 System synthesis @5 01`
C03	`01`	`X`	`SPA`	`@0 Síntesis sistema @5 01`
C03	`02`	`X`	`FRE`	`@0 Système commande @5 02`
C03	`02`	`X`	`ENG`	`@0 Control system @5 02`
C03	`02`	`X`	`SPA`	`@0 Sistema control @5 02`
C03	`03`	`X`	`FRE`	`@0 Système hybride @5 03`
C03	`03`	`X`	`ENG`	`@0 Hybrid system @5 03`
C03	`03`	`X`	`SPA`	`@0 Sistema híbrido @5 03`
C03	`04`	`X`	`FRE`	`@0 Système linéaire @5 04`
C03	`04`	`X`	`ENG`	`@0 Linear system @5 04`
C03	`04`	`X`	`SPA`	`@0 Sistema lineal @5 04`
C03	`05`	`X`	`FRE`	`@0 Régime commutation @5 05`
C03	`05`	`X`	`ENG`	`@0 Switching conditions @5 05`
C03	`05`	`X`	`SPA`	`@0 Régimen conmutación @5 05`
C03	`06`	`X`	`FRE`	`@0 Automate @5 06`
C03	`06`	`X`	`ENG`	`@0 Automaton @5 06`
C03	`06`	`X`	`SPA`	`@0 Autómata @5 06`
C03	`07`	`X`	`FRE`	`@0 Modélisation @5 07`
C03	`07`	`X`	`ENG`	`@0 Modeling @5 07`
C03	`07`	`X`	`SPA`	`@0 Modelización @5 07`
C03	`08`	`X`	`FRE`	`@0 Algorithme @5 08`
C03	`08`	`X`	`ENG`	`@0 Algorithm @5 08`
C03	`08`	`X`	`SPA`	`@0 Algoritmo @5 08`
C03	`09`	`X`	`FRE`	`@0 Switching controller @4 INC @5 82`
N21				`@1 325`

Format Inist (serveur)

NO :	PASCAL 00-0489964 INIST
ET :	Effective synthesis of switching controllers for linear systems
AU :	ASARIN (Eugene); BOURNEZ (Olivier); THAO DANG; MALER (Oded); PNUELI (Amir)
AF :	VERIMAG/Gieres 38610/France (1 aut., 3 aut., 4 aut.); LORIA/Nancy 54602/France (2 aut.); Weizmann Institute of Science/Rehovot 76100/Israël (5 aut.)
DT :	Publication en série; Niveau analytique
SO :	Proceedings of the IEEE; ISSN 0018-9219; Coden IEEPAD; Etats-Unis; Da. 2000; Vol. 88; No. 7; Pp. 1011-1025; Bibl. 55 ref.
LA :	Anglais
EA :	In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.
CC :	001D02D07
FD :	Synthèse système; Système commande; Système hybride; Système linéaire; Régime commutation; Automate; Modélisation; Algorithme; Switching controller
ED :	System synthesis; Control system; Hybrid system; Linear system; Switching conditions; Automaton; Modeling; Algorithm
SD :	Síntesis sistema; Sistema control; Sistema híbrido; Sistema lineal; Régimen conmutación; Autómata; Modelización; Algoritmo
LO :	INIST-222.354000091099850070
ID :	00-0489964

Links to Exploration step

Pascal:00-0489964

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Effective synthesis of switching controllers for linear systems</title>
<author><name sortKey="Asarin, Eugene" sort="Asarin, Eugene" uniqKey="Asarin E" first="Eugene" last="Asarin">Eugene Asarin</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Bournez, Olivier" sort="Bournez, Olivier" uniqKey="Bournez O" first="Olivier" last="Bournez">Olivier Bournez</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA</s1>
<s2>Nancy 54602</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Thao Dang" sort="Thao Dang" uniqKey="Thao Dang" last="Thao Dang">THAO DANG</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Maler, Oded" sort="Maler, Oded" uniqKey="Maler O" first="Oded" last="Maler">Oded Maler</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Pnueli, Amir" sort="Pnueli, Amir" uniqKey="Pnueli A" first="Amir" last="Pnueli">Amir Pnueli</name>
<affiliation><inist:fA14 i1="03"><s1>Weizmann Institute of Science</s1>
<s2>Rehovot 76100</s2>
<s3>ISR</s3>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">INIST</idno>
<idno type="inist">00-0489964</idno>
<date when="2000">2000</date>
<idno type="stanalyst">PASCAL 00-0489964 INIST</idno>
<idno type="RBID">Pascal:00-0489964</idno>
<idno type="wicri:Area/PascalFrancis/Corpus">000A19</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Effective synthesis of switching controllers for linear systems</title>
<author><name sortKey="Asarin, Eugene" sort="Asarin, Eugene" uniqKey="Asarin E" first="Eugene" last="Asarin">Eugene Asarin</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Bournez, Olivier" sort="Bournez, Olivier" uniqKey="Bournez O" first="Olivier" last="Bournez">Olivier Bournez</name>
<affiliation><inist:fA14 i1="02"><s1>LORIA</s1>
<s2>Nancy 54602</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Thao Dang" sort="Thao Dang" uniqKey="Thao Dang" last="Thao Dang">THAO DANG</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Maler, Oded" sort="Maler, Oded" uniqKey="Maler O" first="Oded" last="Maler">Oded Maler</name>
<affiliation><inist:fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
<author><name sortKey="Pnueli, Amir" sort="Pnueli, Amir" uniqKey="Pnueli A" first="Amir" last="Pnueli">Amir Pnueli</name>
<affiliation><inist:fA14 i1="03"><s1>Weizmann Institute of Science</s1>
<s2>Rehovot 76100</s2>
<s3>ISR</s3>
<sZ>5 aut.</sZ>
</inist:fA14>
</affiliation>
</author>
</analytic>
<series><title level="j" type="main">Proceedings of the IEEE</title>
<title level="j" type="abbreviated">Proc. IEEE</title>
<idno type="ISSN">0018-9219</idno>
<imprint><date when="2000">2000</date>
</imprint>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><title level="j" type="main">Proceedings of the IEEE</title>
<title level="j" type="abbreviated">Proc. IEEE</title>
<idno type="ISSN">0018-9219</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Algorithm</term>
<term>Automaton</term>
<term>Control system</term>
<term>Hybrid system</term>
<term>Linear system</term>
<term>Modeling</term>
<term>Switching conditions</term>
<term>System synthesis</term>
</keywords>
<keywords scheme="Pascal" xml:lang="fr"><term>Synthèse système</term>
<term>Système commande</term>
<term>Système hybride</term>
<term>Système linéaire</term>
<term>Régime commutation</term>
<term>Automate</term>
<term>Modélisation</term>
<term>Algorithme</term>
<term>Switching controller</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.</div>
</front>
</TEI>
<inist><standard h6="B"><pA><fA01 i1="01" i2="1"><s0>0018-9219</s0>
</fA01>
<fA02 i1="01"><s0>IEEPAD</s0>
</fA02>
<fA03 i2="1"><s0>Proc. IEEE</s0>
</fA03>
<fA05><s2>88</s2>
</fA05>
<fA06><s2>7</s2>
</fA06>
<fA08 i1="01" i2="1" l="ENG"><s1>Effective synthesis of switching controllers for linear systems</s1>
</fA08>
<fA11 i1="01" i2="1"><s1>ASARIN (Eugene)</s1>
</fA11>
<fA11 i1="02" i2="1"><s1>BOURNEZ (Olivier)</s1>
</fA11>
<fA11 i1="03" i2="1"><s1>THAO DANG</s1>
</fA11>
<fA11 i1="04" i2="1"><s1>MALER (Oded)</s1>
</fA11>
<fA11 i1="05" i2="1"><s1>PNUELI (Amir)</s1>
</fA11>
<fA14 i1="01"><s1>VERIMAG</s1>
<s2>Gieres 38610</s2>
<s3>FRA</s3>
<sZ>1 aut.</sZ>
<sZ>3 aut.</sZ>
<sZ>4 aut.</sZ>
</fA14>
<fA14 i1="02"><s1>LORIA</s1>
<s2>Nancy 54602</s2>
<s3>FRA</s3>
<sZ>2 aut.</sZ>
</fA14>
<fA14 i1="03"><s1>Weizmann Institute of Science</s1>
<s2>Rehovot 76100</s2>
<s3>ISR</s3>
<sZ>5 aut.</sZ>
</fA14>
<fA20><s1>1011-1025</s1>
</fA20>
<fA21><s1>2000</s1>
</fA21>
<fA23 i1="01"><s0>ENG</s0>
</fA23>
<fA43 i1="01"><s1>INIST</s1>
<s2>222</s2>
<s5>354000091099850070</s5>
</fA43>
<fA44><s0>0000</s0>
<s1>© 2000 INIST-CNRS. All rights reserved.</s1>
</fA44>
<fA45><s0>55 ref.</s0>
</fA45>
<fA47 i1="01" i2="1"><s0>00-0489964</s0>
</fA47>
<fA60><s1>P</s1>
</fA60>
<fA61><s0>A</s0>
</fA61>
<fA64 i1="01" i2="1"><s0>Proceedings of the IEEE</s0>
</fA64>
<fA66 i1="01"><s0>USA</s0>
</fA66>
<fC01 i1="01" l="ENG"><s0>In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.</s0>
</fC01>
<fC02 i1="01" i2="X"><s0>001D02D07</s0>
</fC02>
<fC03 i1="01" i2="X" l="FRE"><s0>Synthèse système</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="ENG"><s0>System synthesis</s0>
<s5>01</s5>
</fC03>
<fC03 i1="01" i2="X" l="SPA"><s0>Síntesis sistema</s0>
<s5>01</s5>
</fC03>
<fC03 i1="02" i2="X" l="FRE"><s0>Système commande</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="ENG"><s0>Control system</s0>
<s5>02</s5>
</fC03>
<fC03 i1="02" i2="X" l="SPA"><s0>Sistema control</s0>
<s5>02</s5>
</fC03>
<fC03 i1="03" i2="X" l="FRE"><s0>Système hybride</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="ENG"><s0>Hybrid system</s0>
<s5>03</s5>
</fC03>
<fC03 i1="03" i2="X" l="SPA"><s0>Sistema híbrido</s0>
<s5>03</s5>
</fC03>
<fC03 i1="04" i2="X" l="FRE"><s0>Système linéaire</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="ENG"><s0>Linear system</s0>
<s5>04</s5>
</fC03>
<fC03 i1="04" i2="X" l="SPA"><s0>Sistema lineal</s0>
<s5>04</s5>
</fC03>
<fC03 i1="05" i2="X" l="FRE"><s0>Régime commutation</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="ENG"><s0>Switching conditions</s0>
<s5>05</s5>
</fC03>
<fC03 i1="05" i2="X" l="SPA"><s0>Régimen conmutación</s0>
<s5>05</s5>
</fC03>
<fC03 i1="06" i2="X" l="FRE"><s0>Automate</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="ENG"><s0>Automaton</s0>
<s5>06</s5>
</fC03>
<fC03 i1="06" i2="X" l="SPA"><s0>Autómata</s0>
<s5>06</s5>
</fC03>
<fC03 i1="07" i2="X" l="FRE"><s0>Modélisation</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="ENG"><s0>Modeling</s0>
<s5>07</s5>
</fC03>
<fC03 i1="07" i2="X" l="SPA"><s0>Modelización</s0>
<s5>07</s5>
</fC03>
<fC03 i1="08" i2="X" l="FRE"><s0>Algorithme</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="ENG"><s0>Algorithm</s0>
<s5>08</s5>
</fC03>
<fC03 i1="08" i2="X" l="SPA"><s0>Algoritmo</s0>
<s5>08</s5>
</fC03>
<fC03 i1="09" i2="X" l="FRE"><s0>Switching controller</s0>
<s4>INC</s4>
<s5>82</s5>
</fC03>
<fN21><s1>325</s1>
</fN21>
</pA>
</standard>
<server><NO>PASCAL 00-0489964 INIST</NO>
<ET>Effective synthesis of switching controllers for linear systems</ET>
<AU>ASARIN (Eugene); BOURNEZ (Olivier); THAO DANG; MALER (Oded); PNUELI (Amir)</AU>
<AF>VERIMAG/Gieres 38610/France (1 aut., 3 aut., 4 aut.); LORIA/Nancy 54602/France (2 aut.); Weizmann Institute of Science/Rehovot 76100/Israël (5 aut.)</AF>
<DT>Publication en série; Niveau analytique</DT>
<SO>Proceedings of the IEEE; ISSN 0018-9219; Coden IEEPAD; Etats-Unis; Da. 2000; Vol. 88; No. 7; Pp. 1011-1025; Bibl. 55 ref.</SO>
<LA>Anglais</LA>
<EA>In this paper, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics are defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behavior of the system from one "mode" to another in order to avoid a set of bad states and propose an abstract algorithm that solves the problem by an iterative computation of reachable states. We have implemented a concrete version of the algorithm, which uses a new approximation scheme for reachability analysis of linear systems.</EA>
<CC>001D02D07</CC>
<FD>Synthèse système; Système commande; Système hybride; Système linéaire; Régime commutation; Automate; Modélisation; Algorithme; Switching controller</FD>
<ED>System synthesis; Control system; Hybrid system; Linear system; Switching conditions; Automaton; Modeling; Algorithm</ED>
<SD>Síntesis sistema; Sistema control; Sistema híbrido; Sistema lineal; Régimen conmutación; Autómata; Modelización; Algoritmo</SD>
<LO>INIST-222.354000091099850070</LO>
<ID>00-0489964</ID>
</server>
</inist>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Corpus

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000A19 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/PascalFrancis/Corpus/biblio.hfd -nk 000A19 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Corpus
   |type=    RBID
   |clé=     Pascal:00-0489964
   |texte=   Effective synthesis of switching controllers for linear systems
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Effective synthesis of switching controllers for linear systems

Effective synthesis of switching controllers for linear systems

Source :

Descripteurs français

English descriptors

Abstract

Notice en format standard (ISO 2709)

Format Inist (serveur)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri