-
3
-
-
84958050603
-
Interconnected automata and linear systems: A theoretical framework in discrete-time
-
Hybrid Systems III. Henzinger T.A., Alur R., and Sontag D. (Eds), Springer-Verlag
-
Sontag E. Interconnected automata and linear systems: A theoretical framework in discrete-time. In: Henzinger T.A., Alur R., and Sontag D. (Eds). Hybrid Systems III. Lecture Notes in Computer Science vol. 1066 (1996), Springer-Verlag 436-448
-
(1996)
Lecture Notes in Computer Science
, vol.1066
, pp. 436-448
-
-
Sontag, E.1
-
4
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
Alur R., Courcoubetis C., Halbwachs N., Henzinger T., Ho P.H., Nicollin X., Oliveiro A., Sifakis J., and Yovine S. The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138 (1995) 3-34
-
(1995)
Theoret. Comput. Sci.
, vol.138
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.4
Ho, P.H.5
Nicollin, X.6
Oliveiro, A.7
Sifakis, J.8
Yovine, S.9
-
5
-
-
0033097938
-
Control of systems integrating logic, dynamics, and constraints
-
Bemporad A., and Morari M. Control of systems integrating logic, dynamics, and constraints. Automatica 35 3 (1999) 407-427
-
(1999)
Automatica
, vol.35
, Issue.3
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
6
-
-
0036257361
-
Impulse differential inclusions: A viability approach to hybrid systems
-
Aubin J., Lygeros J., Quincampoix M., Sastry S., and Seube N. Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. Automat. Control 47 1 (2002) 2-20
-
(2002)
IEEE Trans. Automat. Control
, vol.47
, Issue.1
, pp. 2-20
-
-
Aubin, J.1
Lygeros, J.2
Quincampoix, M.3
Sastry, S.4
Seube, N.5
-
7
-
-
0000285910
-
Effective synthesis of switching controllers for linear systems
-
Antsaklis P.J. (Ed), IEEE Press
-
Asarin E., Bournez O., Dang T., Maler O., and Pnueli A. Effective synthesis of switching controllers for linear systems. In: Antsaklis P.J. (Ed). Proceedings of the IEEE: Special Issue on Hybrid Systems vol. 88 (2000), IEEE Press 1011-1025
-
(2000)
Proceedings of the IEEE: Special Issue on Hybrid Systems
, vol.88
, pp. 1011-1025
-
-
Asarin, E.1
Bournez, O.2
Dang, T.3
Maler, O.4
Pnueli, A.5
-
8
-
-
0000333926
-
Discrete abstractions of hybrid systems
-
Antsaklis P.J. (Ed), IEEE Press
-
Alur R., Henzinger T., Lafferriere G., and Pappas G.J. Discrete abstractions of hybrid systems. In: Antsaklis P.J. (Ed). Proceedings of the IEEE: Special Issue on Hybrid Systems vol. 88 (2000), IEEE Press 971-984
-
(2000)
Proceedings of the IEEE: Special Issue on Hybrid Systems
, vol.88
, pp. 971-984
-
-
Alur, R.1
Henzinger, T.2
Lafferriere, G.3
Pappas, G.J.4
-
9
-
-
0033311181
-
Basic problems in stability and design of switched systems
-
Liberzon D., and Morse A.S. Basic problems in stability and design of switched systems. IEEE Control. Syst. Mag. 19 5 (1999) 59-70
-
(1999)
IEEE Control. Syst. Mag.
, vol.19
, Issue.5
, pp. 59-70
-
-
Liberzon, D.1
Morse, A.S.2
-
10
-
-
33646910241
-
Perspectives and results on the stability and stabilizability of hybrid systems
-
Antsaklis P.J. (Ed), IEEE Press
-
Decarlo R.A., Branicky M.S., Pettersson S., and Lennartson B. Perspectives and results on the stability and stabilizability of hybrid systems. In: Antsaklis P.J. (Ed). Proceedings of the IEEE: Special Issue on Hybrid Systems vol. 88 (2000), IEEE Press 1069-1082
-
(2000)
Proceedings of the IEEE: Special Issue on Hybrid Systems
, vol.88
, pp. 1069-1082
-
-
Decarlo, R.A.1
Branicky, M.S.2
Pettersson, S.3
Lennartson, B.4
-
11
-
-
33744828017
-
-
M. Johansson, Piecewise linear control systems, Ph.D. Thesis, Lund Institute of Technology, Sweden, 1999
-
-
-
-
12
-
-
2442472068
-
Uniform stability of switched linear systems: Extensions of lasalle's invariance principle
-
Hespanha J.P. Uniform stability of switched linear systems: Extensions of lasalle's invariance principle. IEEE Trans. Automat. Control. 49 4 (2004) 470-482
-
(2004)
IEEE Trans. Automat. Control.
, vol.49
, Issue.4
, pp. 470-482
-
-
Hespanha, J.P.1
-
14
-
-
23944521528
-
Analysis and synthesis of switched linear control systems
-
Sun Z., and Ge S.S. Analysis and synthesis of switched linear control systems. Automatica 41 2 (2005) 181-195
-
(2005)
Automatica
, vol.41
, Issue.2
, pp. 181-195
-
-
Sun, Z.1
Ge, S.S.2
-
15
-
-
0034291822
-
Observability and controllability of piecewise affine and hybrid Systems
-
Bemporad A., Ferrari-Trecate G., and Morari M. Observability and controllability of piecewise affine and hybrid Systems. IEEE Trans. Automat. Control. 45 10 (2000) 1864-1876
-
(2000)
IEEE Trans. Automat. Control.
, vol.45
, Issue.10
, pp. 1864-1876
-
-
Bemporad, A.1
Ferrari-Trecate, G.2
Morari, M.3
-
17
-
-
45449092068
-
On the optimal control law for linear discrete time hybrid systems
-
Hybrid Systems: Computation and Control, Springer
-
Bemporad A., Borrelli F., and Morari M. On the optimal control law for linear discrete time hybrid systems. Hybrid Systems: Computation and Control. Lecture Notes in Computer Science vol. 2289 (2002), Springer 105-119
-
(2002)
Lecture Notes in Computer Science
, vol.2289
, pp. 105-119
-
-
Bemporad, A.1
Borrelli, F.2
Morari, M.3
-
18
-
-
0742303977
-
Optimal control of switched systems based on parameterization of the switching instants
-
Xu X., and Antsaklis P.J. Optimal control of switched systems based on parameterization of the switching instants. IEEE Trans. Automat. Control. 49 1 (2004) 2-16
-
(2004)
IEEE Trans. Automat. Control.
, vol.49
, Issue.1
, pp. 2-16
-
-
Xu, X.1
Antsaklis, P.J.2
-
19
-
-
0035498653
-
Disturbance attenuation properties of time-controlled switched systems
-
Zhai G., Hu B., Yasuda K., and Michel A.N. Disturbance attenuation properties of time-controlled switched systems. J. Franklin Inst. 338 (2001) 765-779
-
(2001)
J. Franklin Inst.
, vol.338
, pp. 765-779
-
-
Zhai, G.1
Hu, B.2
Yasuda, K.3
Michel, A.N.4
-
20
-
-
0036349370
-
-
G. Zhai, B. Hu, K. Yasuda, A.N. Michel, Qualitative analysis of discrete-time switched systems, in: Proc. 2002 American Contr. Conf., vol. 3, 2002, pp. 1880-1885
-
-
-
-
21
-
-
0345690114
-
Root-mean-square gains of switched linear systems
-
Hespanha J.P. Root-mean-square gains of switched linear systems. IEEE Trans. Automat. Control 48 11 (2003) 2040-2045
-
(2003)
IEEE Trans. Automat. Control
, vol.48
, Issue.11
, pp. 2040-2045
-
-
Hespanha, J.P.1
-
22
-
-
0032163592
-
A new approach to robust control of hybrid systems over infinite time
-
Savkin A.V., and Evans R.J. A new approach to robust control of hybrid systems over infinite time. IEEE Trans. Automat. Control. 43 9 (1998) 1292-1296
-
(1998)
IEEE Trans. Automat. Control.
, vol.43
, Issue.9
, pp. 1292-1296
-
-
Savkin, A.V.1
Evans, R.J.2
-
23
-
-
0034854876
-
-
G. Ferrari-Trecate, F. Cuzzola, D. Mignone, M. Morari, Analysis and control with performance of piecewise affine and hybrid systems, in: Proc. 2001 American Control Conf., 2001, pp. 200-205
-
-
-
-
25
-
-
1542350074
-
-
H. Lin, P.J. Antsaklis, Disturbance attenuation properties for discrete-time uncertain switched linear systems, in: Proc. 42nd IEEE Conf. Decision Control, 2003, pp. 5289-5294
-
-
-
-
26
-
-
33744825756
-
-
H. Lin, P. Antsaklis, Uniformly ultimate boundedness control for uncertain switched linear systems, ISIS Technical Report, ISIS-2003-004, Univ. of Notre Dame, August 2003
-
-
-
-
27
-
-
8744242904
-
-
H. Lin, P. Antsaklis, Disturbance attenuation in classes of uncertain linear hybrid systems, in: Proc. 2004 American Contr. Conf., 2004, pp. 566-571
-
-
-
-
28
-
-
0015415971
-
Infinite-time reachability of state-space regions by using feedback control
-
Bertsekas D.P. Infinite-time reachability of state-space regions by using feedback control. IEEE Trans. Automat. Control. 17 5 (1972) 604-613
-
(1972)
IEEE Trans. Automat. Control.
, vol.17
, Issue.5
, pp. 604-613
-
-
Bertsekas, D.P.1
-
29
-
-
0028370204
-
Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions
-
Blanchini F. Ultimate boundedness control for uncertain discrete-time systems via set-induced Lyapunov functions. IEEE Trans. Automat. Control. 39 2 (1994) 428-433
-
(1994)
IEEE Trans. Automat. Control.
, vol.39
, Issue.2
, pp. 428-433
-
-
Blanchini, F.1
-
30
-
-
0030388198
-
-
C.E.T. Dórea, J.C. Hennet, On (a, b)-invariance of polyhedral domains for discrete-time systems, Proc. 35th IEEE Conf. Decision Control, 1996, pp. 4319-4324
-
-
-
-
31
-
-
33744822503
-
-
E. Kerrigan, Robust constraint satisfaction: Invariant sets and predictive control, Ph.D. Thesis, University of Cambridge, UK, 2000
-
-
-
-
32
-
-
0033221515
-
Set invariance in control
-
Blanchini F. Set invariance in control. Automatica 35 11 (1999) 1747-1767
-
(1999)
Automatica
, vol.35
, Issue.11
, pp. 1747-1767
-
-
Blanchini, F.1
-
33
-
-
0035711228
-
-
R. Vidal, S. Schaffert, O. Shakernia, J. Lygeros, S. Sastry, Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems, in: Proceedings of the 40th IEEE Conference on Decision and Control, 2001, pp. 1243-1248
-
-
-
-
34
-
-
0032281086
-
-
M. Jirstrand, Invariant sets for a class of hybrid systems, in: Proc. 37th IEEE Conf. Decision Control, 1998, pp. 3699-3704
-
-
-
-
36
-
-
0033100636
-
Controllers for reachability specifications for hybrid systems
-
Lygeros J., Tomlin C., and Sastry S. Controllers for reachability specifications for hybrid systems. Automatica 35 3 (1999) 349-370
-
(1999)
Automatica
, vol.35
, Issue.3
, pp. 349-370
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
-
37
-
-
33744810922
-
-
X.D. Koutsoukos, Analysis and design of piecewise linear hybrid dynamical systems, Ph.D. Thesis, University of Notre Dame, Notre Dame, IN, USA, 2000
-
-
-
-
38
-
-
0003254056
-
Verification of hybrid systems using abstractions
-
Hybrid Systems II, Springer
-
Puri A., and Varaiya P. Verification of hybrid systems using abstractions. Hybrid Systems II. Lecture Notes in Computer Science vol. 999 (1995), Springer 359-369
-
(1995)
Lecture Notes in Computer Science
, vol.999
, pp. 359-369
-
-
Puri, A.1
Varaiya, P.2
-
39
-
-
0035971720
-
An invariant based approach to the design of hybrid control systems
-
Stiver J., Koutsoukos X.D., Antsaklis P., and Lemmon M. An invariant based approach to the design of hybrid control systems. Internat. J. Robust Nonlinear Control 11 5 (2001) 453-478
-
(2001)
Internat. J. Robust Nonlinear Control
, vol.11
, Issue.5
, pp. 453-478
-
-
Stiver, J.1
Koutsoukos, X.D.2
Antsaklis, P.3
Lemmon, M.4
-
40
-
-
0032047438
-
Hierarchical hybrid control systems: A lattice theoretic formulation
-
Caines P., and Wei Y. Hierarchical hybrid control systems: A lattice theoretic formulation. IEEE Trans. Automat. Control 43 4 (1998) 501-508
-
(1998)
IEEE Trans. Automat. Control
, vol.43
, Issue.4
, pp. 501-508
-
-
Caines, P.1
Wei, Y.2
-
41
-
-
0032285269
-
-
M. Broucke, A geometric approach to bisimulation and verification of hybrid systems, in: Proceedings of the 37th Conference on Decision and Control, vol. 4, 1998, pp. 4277-4282
-
-
-
-
42
-
-
33744817673
-
-
H. Lin, P. Antsaklis, Robust tracking and regulation control of uncertain piecewise linear systems, ISIS Technical Report, ISIS-2003-005, Univ. of Notre Dame, October 2003
-
-
-
-
43
-
-
0005642692
-
-
Motzkin T. (Ed), Rand Corp., Santa Monica, CA
-
In: Motzkin T. (Ed). The Theory of Linear Inequalities (1952), Rand Corp., Santa Monica, CA
-
(1952)
The Theory of Linear Inequalities
-
-
-
45
-
-
0031337190
-
Robust performance with fixed and worst case signals for uncertain time-varying systems
-
Blanchini F., Miani S., and Sznaier M. Robust performance with fixed and worst case signals for uncertain time-varying systems. Automatica 33 12 (1997) 2183-2189
-
(1997)
Automatica
, vol.33
, Issue.12
, pp. 2183-2189
-
-
Blanchini, F.1
Miani, S.2
Sznaier, M.3
-
46
-
-
0036993532
-
-
H. Lin, P. Antsaklis, Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems, in: Proc. 41st IEEE Conf. Decision Control, 2002, pp. 3188-3193
-
-
-
-
47
-
-
8744267839
-
Robust regulation of polytopic uncertain linear hybrid systems with networked control system applications
-
Liu D., and Antsaklis P.J. (Eds), Birkhauser
-
Lin H., and Antsaklis P. Robust regulation of polytopic uncertain linear hybrid systems with networked control system applications. In: Liu D., and Antsaklis P.J. (Eds). Stability and Control of Dynamical Systems with Applications: A Tribute to Anthony N. Michel (2003), Birkhauser 71-96
-
(2003)
Stability and Control of Dynamical Systems with Applications: A Tribute to Anthony N. Michel
, pp. 71-96
-
-
Lin, H.1
Antsaklis, P.2
-
48
-
-
85128520280
-
-
H. Lin, G. Zhai, P.J. Antsaklis, Robust stability and disturbance attenuation analysis of a class of networked control systems, in: Proc. 42nd IEEE Conf. Decision Control, 2003, pp. 1182-1187
-
-
-
|