-
1
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
Springer-Verlag
-
R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho. Hybrid Automata: An Algorithmic Approach To The Specification and Verification of Hybrid Systems. In Hybrid Systems I, Lecture Notes in Computer Science 736, Springer-Verlag, pp. 209-229, 1993.
-
(1993)
Hybrid Systems I, Lecture Notes in Computer Science
, vol.736
, pp. 209-229
-
-
Alur, R.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.-H.4
-
2
-
-
0003657056
-
-
American Waterworks Association; Mc. Graw-Hill, New York
-
American Waterworks Association. Water Quality Treatment, 4th Ed. Mc. Graw-Hill, New York, 1990.
-
(1990)
Water Quality Treatment, 4th Ed.
-
-
-
3
-
-
0003672832
-
Studies in hybrid systems: Modeling analysis, and control
-
Ph.D. Dissertation Laboratory for Information and Decision Systems. Massachusetts Institute of Technology
-
M. S. Branicky, Studies in Hybrid Systems: Modeling Analysis, and Control. Ph.D. Dissertation Laboratory for Information and Decision Systems. Massachusetts Institute of Technology. 1995.
-
(1995)
-
-
Branicky, M.S.1
-
4
-
-
0033097938
-
Control of systems integrating logic, dynamics and constraints
-
A. Bemporad and M. Morari. Control of Systems Integrating Logic, Dynamics and Constraints. Automatica 35 pp. 407-427, 1999.
-
(1999)
Automatica
, vol.35
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
5
-
-
0037293274
-
A clustering technique for the identification of piecewise affine systems
-
G. Ferrari-Trecate, M. Muselli, D. Liberati and M. Morari, A Clustering Technique for the Identification of Piecewise Affine Systems. Automatica 39 pp. 205-217, 2003.
-
(2003)
Automatica
, vol.39
, pp. 205-217
-
-
Ferrari-Trecate, G.1
Muselli, M.2
Liberati, D.3
Morari, M.4
-
7
-
-
0036869823
-
A model of the coagulation process with solid particles and flocs in a turbulent flow
-
S. Schuetz, M. Piesche, A model of the coagulation process with solid particles and flocs in a turbulent flow. Chemical Engineering Science 57 pp. 4357-4368, 2002.
-
(2002)
Chemical Engineering Science
, vol.57
, pp. 4357-4368
-
-
Schuetz, S.1
Piesche, M.2
-
8
-
-
0038722377
-
A neural network-based software sensor for coagulation control in a water treatment plant
-
N. Valentin and T. Denoeux. A neural network-based software sensor for coagulation control in a water treatment plant. Intelligent Data Analysis, 5 pp. 23-39, 2001.
-
(2001)
Intelligent Data Analysis
, vol.5
, pp. 23-39
-
-
Valentin, N.1
Denoeux, T.2
-
9
-
-
0242499538
-
Hybrid modeling of a potable water plant
-
In: Cabrera & Cabrera Jr. (Eds.); Balkema, Lisse
-
J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama. Hybrid Modeling of a Potable Water Plant. In: Cabrera & Cabrera Jr. (Eds.) Pumps, Electromechanical Devices and Systems. Balkema, Lisse, pp. 909-917. 2003.
-
(2003)
Pumps, Electromechanical Devices and Systems
, pp. 909-917
-
-
Villa, J.L.1
Duque, M.2
Gauthier, A.3
Rakoto-Ravalontsalama, N.4
-
10
-
-
0242657944
-
MLD control of hybrid systems: Application to the three-tank benchmark problem
-
J.L. Villa, M. Duque, A. Gauthier and N. Rakoto-Ravalontsalama. MLD Control of Hybrid Systems: Application to the Three-Tank Benchmark Problem. IEEE Int. Conf. on Systems, Man and Cybernetics. SMC'03, October 5-8, Washington D.C, 2003.
-
IEEE Int. Conf. on Systems, Man and Cybernetics. SMC'03, October 5-8, Washington D.C, 2003
-
-
Villa, J.L.1
Duque, M.2
Gauthier, A.3
Rakoto-Ravalontsalama, N.4
-
11
-
-
4243840148
-
Hybrid modeling of a water treatment plant
-
Technical report 02/3/AUTO, Ecole des Mines de Nantes (France)
-
J.L. Villa, M. Duque, A. Gauthier and N. Rakoto. "Hybrid Modeling of a water treatment plant". Technical report 02/3/AUTO, Ecole des Mines de Nantes (France), 2002.
-
(2002)
-
-
Villa, J.L.1
Duque, M.2
Gauthier, A.3
Rakoto, N.4
-
12
-
-
0036247624
-
Modeling and parameter identification of systems with multisegment piecewise-linear characteristics
-
January
-
J. Vörös, Modeling and Parameter Identification of Systems with Multisegment Piecewise-Linear Characteristics. IEEE Trans. On Automatic Control, Vol. 47, No. 1, pp. 184-188, January 2003.
-
(2003)
IEEE Trans. On Automatic Control
, vol.47
, Issue.1
, pp. 184-188
-
-
Vörös, J.1
|