-
1
-
-
0031701911
-
A unified framework for hybrid control: model and optimal control theory
-
Branicky M.S., Borkar V.S., and Mitter S.K. A unified framework for hybrid control: model and optimal control theory. IEEE Trans. Automat. Contr. 43 (1998) 31-45
-
(1998)
IEEE Trans. Automat. Contr.
, vol.43
, pp. 31-45
-
-
Branicky, M.S.1
Borkar, V.S.2
Mitter, S.K.3
-
2
-
-
0033097938
-
Control of systems integrating logic dynamics and constraints
-
Bemporad A., and Morari M. Control of systems integrating logic dynamics and constraints. Automatica 35 (1999) 407-427
-
(1999)
Automatica
, vol.35
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
3
-
-
0034854626
-
-
A. Bemporad, M. Morari, Optimization-based hybrid control tools, in: Proceedings of American Control Conference (ACC), 25-27 June 2001, IEEE, Arlington, VA, USA, 2001, pp. 1689-1703 BN-1680 7803 6495 1683.
-
A. Bemporad, M. Morari, Optimization-based hybrid control tools, in: Proceedings of American Control Conference (ACC), 25-27 June 2001, IEEE, Arlington, VA, USA, 2001, pp. 1689-1703 BN-1680 7803 6495 1683.
-
-
-
-
4
-
-
33646910241
-
Perspectives and results on the stability and stabilizability of hybrid systems
-
Decarlo R.A., Branicky M.S., Pettersson S., and Lennartson B. Perspectives and results on the stability and stabilizability of hybrid systems. Proc. IEEE 88 (2000) 1069-1082
-
(2000)
Proc. IEEE
, vol.88
, pp. 1069-1082
-
-
Decarlo, R.A.1
Branicky, M.S.2
Pettersson, S.3
Lennartson, B.4
-
5
-
-
0033351187
-
-
M. Fritz, A. Liefeldt, S. Engell, Recipe-driven batch processes: event handling in hybrid system simulation, in: Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design, 22-27 Aug. 1999, IEEE Kohala Coast, HI, USA, 1999, pp. 138-143 BN-130 7803 5500 7808.
-
M. Fritz, A. Liefeldt, S. Engell, Recipe-driven batch processes: event handling in hybrid system simulation, in: Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design, 22-27 Aug. 1999, IEEE Kohala Coast, HI, USA, 1999, pp. 138-143 BN-130 7803 5500 7808.
-
-
-
-
6
-
-
0035712199
-
-
B.I. Silva, O. Stursberg, B.H. Krogh, S. Engell, An assessment of the current status of algorithmic approaches to the verification of hybrid systems, in: 40th IEEE Conference on Decision and Control (CDC), Dec. 4-7 2001, Orlando, FL, 2001, pp. 2867-2874.
-
B.I. Silva, O. Stursberg, B.H. Krogh, S. Engell, An assessment of the current status of algorithmic approaches to the verification of hybrid systems, in: 40th IEEE Conference on Decision and Control (CDC), Dec. 4-7 2001, Orlando, FL, 2001, pp. 2867-2874.
-
-
-
-
7
-
-
20344400114
-
-
M.P. Remelhe, S. Lohmann, O. Stursberg, S. Engell, N. Bauer, Algorithmic verification of logic controllers given as sequential function charts, in: 2004 IEEE International Symposium on Computer Aided Control System Design, Sep. 2-4 2004, Piscataway, NJ 08855-1331, United States, Taipei, Taiwan, 2004, pp. 53-58.
-
M.P. Remelhe, S. Lohmann, O. Stursberg, S. Engell, N. Bauer, Algorithmic verification of logic controllers given as sequential function charts, in: 2004 IEEE International Symposium on Computer Aided Control System Design, Sep. 2-4 2004, Piscataway, NJ 08855-1331, United States, Taipei, Taiwan, 2004, pp. 53-58.
-
-
-
-
8
-
-
3042587721
-
Verification of a cruise control system using counterexample guided search
-
Stursberg O., Fehnker A., Han Z., and Krogh B.H. Verification of a cruise control system using counterexample guided search. Contr. Eng. Pract. 12 (2004) 1269-1278
-
(2004)
Contr. Eng. Pract.
, vol.12
, pp. 1269-1278
-
-
Stursberg, O.1
Fehnker, A.2
Han, Z.3
Krogh, B.H.4
-
9
-
-
0041288094
-
-
I. Hoffmann, S. Engell, Identification of hybrid systems, in: Proceedings of the 1998 American Control Conference (ACC), 24-26 June 1998, Philadelphia, PA, USA, 1998, pp. 711-712 BN-710 7803 4530 7804.
-
I. Hoffmann, S. Engell, Identification of hybrid systems, in: Proceedings of the 1998 American Control Conference (ACC), 24-26 June 1998, Philadelphia, PA, USA, 1998, pp. 711-712 BN-710 7803 4530 7804.
-
-
-
-
10
-
-
85128517701
-
-
O. Stursberg, A graph search algorithm for optimal control of hybrid systems, in: 2004 43rd IEEE Conference on Decision and Control (CDC), Dec. 14-17 2004, Piscataway, NJ 08855-1331, United States, Nassau, Bahamas, 2004, pp. 1412-1417.
-
O. Stursberg, A graph search algorithm for optimal control of hybrid systems, in: 2004 43rd IEEE Conference on Decision and Control (CDC), Dec. 14-17 2004, Piscataway, NJ 08855-1331, United States, Nassau, Bahamas, 2004, pp. 1412-1417.
-
-
-
-
11
-
-
33847215441
-
-
S. Engell, O. Stursberg, Hybrid Control Techniques for the Design of Industrial Controllers, in: Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference, 2005, pp. 5612-5617.
-
S. Engell, O. Stursberg, Hybrid Control Techniques for the Design of Industrial Controllers, in: Conference on Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference, 2005, pp. 5612-5617.
-
-
-
-
12
-
-
0345868466
-
Modelling and analysis of hybrid systems
-
Engell S. Modelling and analysis of hybrid systems. Math. Comp. Simul. 46 (1998) 445-464
-
(1998)
Math. Comp. Simul.
, vol.46
, pp. 445-464
-
-
Engell, S.1
-
13
-
-
3042553739
-
Applied hybrid system optimization: An empirical investigation of complexity
-
Till J., Engell S., Panek S., and Stursberg O. Applied hybrid system optimization: An empirical investigation of complexity. Contr. Eng. Pract. 12 (2004) 1291-1303
-
(2004)
Contr. Eng. Pract.
, vol.12
, pp. 1291-1303
-
-
Till, J.1
Engell, S.2
Panek, S.3
Stursberg, O.4
-
14
-
-
1542530003
-
Global optimization of linear hybrid systems with explicit transitions
-
Lee C.K., Singer A.B., and Barton P.I. Global optimization of linear hybrid systems with explicit transitions. Syst. Contr. Lett. 51 (2004) 363-375
-
(2004)
Syst. Contr. Lett.
, vol.51
, pp. 363-375
-
-
Lee, C.K.1
Singer, A.B.2
Barton, P.I.3
-
15
-
-
38849132702
-
Introduction to the analysis and verification of hybrid systems
-
Engell S., Goran F., and Schnieder E. (Eds), Springer Verlag Inc. 3540 438 122
-
Kowalewski S. Introduction to the analysis and verification of hybrid systems. In: Engell S., Goran F., and Schnieder E. (Eds). Modelling Analysis and Design of Hybrid Systems (2002), Springer Verlag Inc. 3540 438 122 153-171
-
(2002)
Modelling Analysis and Design of Hybrid Systems
, pp. 153-171
-
-
Kowalewski, S.1
-
18
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.-H., Nicollin X., Olivero A., Sifakis J., and Yovine S. The algorithmic analysis of hybrid systems. Theor. Comp. Sci. 138 (1995) 3-4
-
(1995)
Theor. Comp. Sci.
, vol.138
, pp. 3-4
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.-H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
20
-
-
0019559589
-
Nonlinear regulation: the piecewise linear approach
-
Sontag E.D. Nonlinear regulation: the piecewise linear approach. IEEE Trans. Automat. Contr. 26 (1981) 346-358
-
(1981)
IEEE Trans. Automat. Contr.
, vol.26
, pp. 346-358
-
-
Sontag, E.D.1
-
22
-
-
23044534069
-
Nonlinear hybrid dynamical systems: modeling, optimal control, and applications
-
Engell S., Goran F., and Schnieder E. (Eds), Springer-Verlag Inc. 3540 438 122
-
Buss M., Glocker M., Hardt M., von Stryk O., Bulirsch R., and Schmidt G. Nonlinear hybrid dynamical systems: modeling, optimal control, and applications. In: Engell S., Goran F., and Schnieder E. (Eds). Modelling, Analysis, and Design of Hybrid Systems (2002), Springer-Verlag Inc. 3540 438 122 311-335
-
(2002)
Modelling, Analysis, and Design of Hybrid Systems
, pp. 311-335
-
-
Buss, M.1
Glocker, M.2
Hardt, M.3
von Stryk, O.4
Bulirsch, R.5
Schmidt, G.6
-
24
-
-
0026108291
-
Relation between MILP modelling and logical inference for chemical process synthesis
-
Raman R., and Grossmann I.E. Relation between MILP modelling and logical inference for chemical process synthesis. Comp. Chem. Eng. 15 (1991) 73-84
-
(1991)
Comp. Chem. Eng.
, vol.15
, pp. 73-84
-
-
Raman, R.1
Grossmann, I.E.2
-
25
-
-
0035697461
-
-
W. Colmenares, S. Cristea, C. De Prada, T. Villegas, MLD systems: modeling and control. Experience with a pilot process, in: Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01), 5-7 Sep. 2001, IEEE, Mexico City, Mexico, 2001, pp. 618-625 BN-610 7803 6733 7802.
-
W. Colmenares, S. Cristea, C. De Prada, T. Villegas, MLD systems: modeling and control. Experience with a pilot process, in: Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01), 5-7 Sep. 2001, IEEE, Mexico City, Mexico, 2001, pp. 618-625 BN-610 7803 6733 7802.
-
-
-
-
27
-
-
0034661317
-
Model predictive control of nonlinear systems using piecewise linear models
-
Ozkan L., Kothare M.V., and Georgakis C. Model predictive control of nonlinear systems using piecewise linear models. Comp. Chem. Eng. 24 (2000) 793-799
-
(2000)
Comp. Chem. Eng.
, vol.24
, pp. 793-799
-
-
Ozkan, L.1
Kothare, M.V.2
Georgakis, C.3
-
28
-
-
0000890905
-
Multiple model adaptive control
-
Smith R.M., and Johansen T.A. (Eds), Taylor and Francis. 074840595X
-
Schott K.D., and Bequette B.W. Multiple model adaptive control. In: Smith R.M., and Johansen T.A. (Eds). Multiple model approaches to modelling and control (1997), Taylor and Francis. 074840595X 269-291
-
(1997)
Multiple model approaches to modelling and control
, pp. 269-291
-
-
Schott, K.D.1
Bequette, B.W.2
-
29
-
-
0028378098
-
The composition and validation of heterogeneous control laws
-
Kuipers B., and Astrom K. The composition and validation of heterogeneous control laws. Automatica 30 (1994) 233-249
-
(1994)
Automatica
, vol.30
, pp. 233-249
-
-
Kuipers, B.1
Astrom, K.2
-
30
-
-
0042807262
-
Extension of dynamic matrix control to multiple models
-
Aufderheide B., and Bequette B.W. Extension of dynamic matrix control to multiple models. Comp. Chem. Eng. 27 (2003) 1079-1096
-
(2003)
Comp. Chem. Eng.
, vol.27
, pp. 1079-1096
-
-
Aufderheide, B.1
Bequette, B.W.2
-
31
-
-
38849208974
-
-
∞ control of nonlinear processes using multiple linear models, in: Proceedings of 1995 European Control Conference, 5-8 Sep. 1995, Eur. Union Control Assoc, Rome, Italy, 1995, pp. 2671-2676.
-
∞ control of nonlinear processes using multiple linear models, in: Proceedings of 1995 European Control Conference, 5-8 Sep. 1995, Eur. Union Control Assoc, Rome, Italy, 1995, pp. 2671-2676.
-
-
-
-
33
-
-
25844465741
-
General model-set design methods for multiple model approach
-
Li X.R., Zhao Z., and Li X.-B. General model-set design methods for multiple model approach. IEEE Trans. Automat. Contr. 50 (2005) 1260-1276
-
(2005)
IEEE Trans. Automat. Contr.
, vol.50
, pp. 1260-1276
-
-
Li, X.R.1
Zhao, Z.2
Li, X.-B.3
-
34
-
-
0004376756
-
Model predictive control with state estimation
-
Ricker N.L. Model predictive control with state estimation. Ind. Eng. Chem. Res. 29 (1990) 374-382
-
(1990)
Ind. Eng. Chem. Res.
, vol.29
, pp. 374-382
-
-
Ricker, N.L.1
-
35
-
-
0033285520
-
-
A. Bemporad, D. Mignone, M. Morari, Moving horizon estimation for hybrid systems and fault detection, in: Proceedings of the 1999 American Control Conference (ACC), 2-4 June 1999, IEEE, San Diego, CA, USA, 1999, pp. 2471-2475 BN-2470 7803 4990 2473.
-
A. Bemporad, D. Mignone, M. Morari, Moving horizon estimation for hybrid systems and fault detection, in: Proceedings of the 1999 American Control Conference (ACC), 2-4 June 1999, IEEE, San Diego, CA, USA, 1999, pp. 2471-2475 BN-2470 7803 4990 2473.
-
-
-
-
36
-
-
8744255272
-
-
J.L. Villa, M. Duque, A. Gauthier, N. Rakoto-Ravalontsalama, A new algorithm for translating MLD systems into PWA systems, in: Proceedings of the 2004 American Control Conference (ACC), Jun 30-Jul 2 2004, Piscataway, NJ 08855-1331, Boston, MA, United States, 2004, pp. 1208-1213.
-
J.L. Villa, M. Duque, A. Gauthier, N. Rakoto-Ravalontsalama, A new algorithm for translating MLD systems into PWA systems, in: Proceedings of the 2004 American Control Conference (ACC), Jun 30-Jul 2 2004, Piscataway, NJ 08855-1331, Boston, MA, United States, 2004, pp. 1208-1213.
-
-
-
-
37
-
-
23744455644
-
Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
-
Borrelli F., Baotic M., Bemporad A., and Morari M. Dynamic programming for constrained optimal control of discrete-time linear hybrid systems. Automatica 41 (2005) 1709-1721
-
(2005)
Automatica
, vol.41
, pp. 1709-1721
-
-
Borrelli, F.1
Baotic, M.2
Bemporad, A.3
Morari, M.4
-
38
-
-
0033494781
-
Algorithms for the solution of multi-parametric mixed-integer nonlinear optimization problems
-
Dua V., and Pistikopoulos E.N. Algorithms for the solution of multi-parametric mixed-integer nonlinear optimization problems. Ind. Eng. Chem. Res. 38 (1999) 3976-3987
-
(1999)
Ind. Eng. Chem. Res.
, vol.38
, pp. 3976-3987
-
-
Dua, V.1
Pistikopoulos, E.N.2
-
39
-
-
1542329229
-
-
X.D. Koutsoukos, Estimation of Hybrid Systems Using Discrete Sensors, in: 42nd IEEE Conference on Decision and Control, Dec 9-12 2003, Maui, HI, United States, 2003, pp. 155-160.
-
X.D. Koutsoukos, Estimation of Hybrid Systems Using Discrete Sensors, in: 42nd IEEE Conference on Decision and Control, Dec 9-12 2003, Maui, HI, United States, 2003, pp. 155-160.
-
-
-
|