-
1
-
-
0032136956
-
A modelling and analysis tool for discrete events systems: Continuous Petri nets
-
Alla, H. and David, R., A modelling and analysis tool for discrete events systems: continuous Petri nets. Perform. Eval., 1998, 33, 175-199.
-
(1998)
Perform. Eval
, vol.33
, pp. 175-199
-
-
Alla, H.1
David, R.2
-
2
-
-
0000050873
-
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
-
edited by R.L. Grossman, A. Nerode, A.P. Raun and H. Rischel, pp, Springer-Verlag: London
-
Alur, H., Courcoubetis, C., Henzinger, T.A. and Ho, P.H., Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Lecture Notes in Computer Science: Hybrid Systems I, edited by R.L. Grossman, A. Nerode, A.P. Raun and H. Rischel, pp. 209-229, 1993 (Springer-Verlag: London).
-
(1993)
Lecture Notes in Computer Science: Hybrid Systems
, vol.1
, pp. 209-229
-
-
Alur, H.1
Courcoubetis, C.2
Henzinger, T.A.3
Ho, P.H.4
-
3
-
-
0000333926
-
Discrete abstraction of hybrid systems
-
Alur, R., Henzinger, T., Lafferriere, G. and Pappas, G., Discrete abstraction of hybrid systems. IEEE Trans. Hyb. Sys., 2000, 88, 971-984.
-
(2000)
IEEE Trans. Hyb. Sys
, vol.88
, pp. 971-984
-
-
Alur, R.1
Henzinger, T.2
Lafferriere, G.3
Pappas, G.4
-
4
-
-
0029637375
-
Reachability analysis of dynamical systems having piecewise-constant derivatives
-
Asarin, E., Maler, O. and Pneuli, A., Reachability analysis of dynamical systems having piecewise-constant derivatives. Theor. Comput. Sci., 1995, 138, 35-65.
-
(1995)
Theor. Comput. Sci
, vol.138
, pp. 35-65
-
-
Asarin, E.1
Maler, O.2
Pneuli, A.3
-
5
-
-
21344497638
-
Hybrid Systems: The SIGNAL approach
-
edited by R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel, pp, Springer-Verlag: London
-
Benveniste, A., Le Borgne, M. and Le Guemie, P., Hybrid Systems: the SIGNAL approach. In Lecture Notes in Computer Science: Hybrid Systems I, edited by R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel, pp. 209-229, 1993 (Springer-Verlag: London).
-
(1993)
Lecture Notes in Computer Science: Hybrid Systems
, vol.1
, pp. 209-229
-
-
Benveniste, A.1
Le Borgne, M.2
Le Guemie, P.3
-
6
-
-
0001837634
-
On a class of general hybrid dynamical systems
-
Branicky, M.S., On a class of general hybrid dynamical systems, in IFAC World Congress'96, 1996, pp. 287-292.
-
(1996)
IFAC World Congress'96
, pp. 287-292
-
-
Branicky, M.S.1
-
7
-
-
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. Auto. Cont., 1998, 43, 31-45.
-
(1998)
IEEE Trans. Auto. Cont
, vol.43
, pp. 31-45
-
-
Branicky, M.S.1
Borkar, V.S.2
Mitter, S.K.3
-
8
-
-
0346906884
-
Petri net based modelling of hybrid systems
-
Champagnat, R., Esteban, P., Pingaud, H. and Valette, R., Petri net based modelling of hybrid systems. Comp. Indust., 1998, 36, 139-146.
-
(1998)
Comp. Indust
, vol.36
, pp. 139-146
-
-
Champagnat, R.1
Esteban, P.2
Pingaud, H.3
Valette, R.4
-
9
-
-
4444251010
-
Improving productivity of automated tissue converting lines: An empirical model and a case-study
-
Cigolini, R. and Rossi, T., Improving productivity of automated tissue converting lines: an empirical model and a case-study. Prod. Plan. Cont., 2004, 5, 550-563.
-
(2004)
Prod. Plan. Cont
, vol.5
, pp. 550-563
-
-
Cigolini, R.1
Rossi, T.2
-
11
-
-
0002541968
-
Viable Control of hybrid systems
-
edited by P. Anstaklis, W. Kohn, A. Nerode and S. Sastry, pp, Springer-Verlag: London
-
Deshpande, A. and Varaiya, P., Viable Control of hybrid systems. In Lecture Notes in Computer Science: Hybrid Systems II, edited by P. Anstaklis, W. Kohn, A. Nerode and S. Sastry, pp. 128-147, 1995 (Springer-Verlag: London).
-
(1995)
Lecture Notes in Computer Science: Hybrid Systems
, vol.2
, pp. 128-147
-
-
Deshpande, A.1
Varaiya, P.2
-
12
-
-
0001905231
-
The econometrics of ultra-high frequency data
-
Engle, R.F., The econometrics of ultra-high frequency data. Econometrica, 2000, 1, 1-22.
-
(2000)
Econometrica
, vol.1
, pp. 1-22
-
-
Engle, R.F.1
-
13
-
-
4444276600
-
Trades and quotes: A bi-variate point process
-
Engle, R.F. and Lunde, A., Trades and quotes: a bi-variate point process. J. Financial Econometrics, 2003, 1, 159-188.
-
(2003)
J. Financial Econometrics
, vol.1
, pp. 159-188
-
-
Engle, R.F.1
Lunde, A.2
-
14
-
-
0000373457
-
Autoregressive conditional duration: A new model for irregularly spaced transaction data
-
Engle, R.F. and Russell, J.R., Autoregressive conditional duration: a new model for irregularly spaced transaction data. Econometrica, 1998, 5, 1127-1162.
-
(1998)
Econometrica
, vol.5
, pp. 1127-1162
-
-
Engle, R.F.1
Russell, J.R.2
-
15
-
-
0004296209
-
-
Prentice Hall: Upper Saddle River, New Jersey
-
Greene, W., Econometric Analysis, 2000 (Prentice Hall: Upper Saddle River, New Jersey).
-
(2000)
Econometric Analysis
-
-
Greene, W.1
-
17
-
-
0004177242
-
-
McGraw-Hill: Boston, MA
-
Kelton, W.D., Sadowski, R.P. and Sadowski, D.A., Simulation with ARENA, 2002 (McGraw-Hill: Boston, MA).
-
(2002)
Simulation with ARENA
-
-
Kelton, W.D.1
Sadowski, R.P.2
Sadowski, D.A.3
-
18
-
-
4444225999
-
The effect of operational disturbances on reliability and operation time distribution of NC-machine tools in FMS
-
Report No. 59, Lappeenranta University of Technology, Finland
-
Kuhmonen, M., The effect of operational disturbances on reliability and operation time distribution of NC-machine tools in FMS. Report No. 59, Lappeenranta University of Technology, Finland, 1997.
-
(1997)
-
-
Kuhmonen, M.1
-
19
-
-
0002990988
-
A survey of modelling and control of hybrid systems
-
Labinaz, G., Bayoumi, M.M. and Rudie, K., A survey of modelling and control of hybrid systems. Ann. Rev. Cont., 1997, 21, 79-92.
-
(1997)
Ann. Rev. Cont
, vol.21
, pp. 79-92
-
-
Labinaz, G.1
Bayoumi, M.M.2
Rudie, K.3
-
21
-
-
33745586450
-
What is a hybrid system?
-
edited by S. Engell, G. Frehse and E. Schnieder, Springer: Berlin, Germany
-
Lunze, J., What is a hybrid system? In Modelling, analysis and design of hybrid systems, edited by S. Engell, G. Frehse and E. Schnieder, 2002 (Springer: Berlin, Germany).
-
(2002)
Modelling, analysis and design of hybrid systems
-
-
Lunze, J.1
-
23
-
-
0032047297
-
A hybrid modelling and verification paradigm for embedded control systems
-
Mostermann, P.J., Biswas, G. and Sztipanovits, J., A hybrid modelling and verification paradigm for embedded control systems. Cont. Eng. Prac., 1998, 6, 511-521.
-
(1998)
Cont. Eng. Prac
, vol.6
, pp. 511-521
-
-
Mostermann, P.J.1
Biswas, G.2
Sztipanovits, J.3
-
24
-
-
85027664864
-
From ATP to timed graphs and hybrid systems
-
edited by J.W. De Bakker, K. Huising, W.P de Roever and G. Rozemberg, pp, Springer-Verlag: London, England
-
Nicollin, X., Sifakis, J. and Yovine, S., From ATP to timed graphs and hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science, edited by J.W. De Bakker, K. Huising, W.P de Roever and G. Rozemberg, pp. 549-572, 1992 (Springer-Verlag: London, England).
-
(1992)
Real Time: Theory in Practice, Lecture Notes in Computer Science
, pp. 549-572
-
-
Nicollin, X.1
Sifakis, J.2
Yovine, S.3
-
25
-
-
4444297172
-
Hybrid production system simulation: The application of the ACD models
-
in Italian
-
Noè, C. and Rossi, T., Hybrid production system simulation: the application of the ACD models, in 30th ANIMP-OICE-UAMI National Conference, 2003, pp. 373-391 (in Italian).
-
(2003)
30th ANIMP-OICE-UAMI National Conference
, pp. 373-391
-
-
Noè, C.1
Rossi, T.2
-
29
-
-
0030161807
-
A logical DES approach to the design of hybrid control systems
-
Stiver, J.A., Antsaklis, P.J. and Lemmon, M.D., A logical DES approach to the design of hybrid control systems. Math. Compu. Model., 1996, 11/12, 55-76.
-
(1996)
Math. Compu. Model
, vol.11-12
, pp. 55-76
-
-
Stiver, J.A.1
Antsaklis, P.J.2
Lemmon, M.D.3
-
30
-
-
33745623028
-
Controllability and control law synthesis of linear hybrid systems
-
Tittus, M. and Egardt, B., Controllability and control law synthesis of linear hybrid systems. Lecture Notes in Cont. and Inform. Sci., 1994, 199, 377-383.
-
(1994)
Lecture Notes in Cont. and Inform. Sci
, vol.199
, pp. 377-383
-
-
Tittus, M.1
Egardt, B.2
-
32
-
-
31744439299
-
Optimal control of an unreliable machine using fuzzy-logic control: From design to implementation
-
Yuniarto, M.N. and Labib, A.W., Optimal control of an unreliable machine using fuzzy-logic control: from design to implementation. Int. J. Prod. Res., 2005, 43, 4509-4537.
-
(2005)
Int. J. Prod. Res
, vol.43
, pp. 4509-4537
-
-
Yuniarto, M.N.1
Labib, A.W.2
-
33
-
-
34248666540
-
Fuzzy sets
-
Zadeh, L.A., Fuzzy sets. Inform. Cont., 1965, 8, 338-353.
-
(1965)
Inform. Cont
, vol.8
, pp. 338-353
-
-
Zadeh, L.A.1
-
34
-
-
0011247415
-
A nonlinear autoregressive conditional duration model with applications to financial transaction data
-
Zhang, M.Y., Russell, J.R. and Tsay, R.S., A nonlinear autoregressive conditional duration model with applications to financial transaction data. J. Econometrics, 2001, 1, 179-207.
-
(2001)
J. Econometrics
, vol.1
, pp. 179-207
-
-
Zhang, M.Y.1
Russell, J.R.2
Tsay, R.S.3
|