-
5
-
-
0010686771
-
A survey and critique of techniques for extracting rules from trained artificial neural networks
-
Neurocomputing research center, Queensland university of technology, Australia
-
R. Andrews, J. Diederich, and A.B. Tickle, "A survey and critique of techniques for extracting rules from trained artificial neural networks," Tech. Rep., Neurocomputing research center, Queensland university of technology, Australia, 1995.
-
(1995)
Tech. Rep.
-
-
Andrews, R.1
Diederich, J.2
Tickle, A.B.3
-
6
-
-
0024479313
-
The control of discrete event systems
-
P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings of the IEEE; Special issue on Dynamics of Discrete Event Systems, vol. 77, 1, pp. 81-98, 1989.
-
(1989)
Proceedings of the IEEE; Special Issue on Dynamics of Discrete Event Systems
, vol.77
, Issue.1
, pp. 81-98
-
-
Ramadge, P.J.G.1
Wonham, W.M.2
-
7
-
-
0026219123
-
"On controllability and normality of discrete events dynamical systems
-
S. Kumar, R. Garg and S. Marcus, "On controllability and normality of discrete events dynamical systems," Systems and Control Letters, vol. 17, pp. 157-168, 1991.
-
(1991)
Systems and Control Letters
, vol.17
, pp. 157-168
-
-
Kumar, S.1
Garg, R.2
Marcus, S.3
-
8
-
-
0024645936
-
Petri Nets: Properties, analysis and applications
-
T. Murata, "Petri Nets: Properties, analysis and applications," in Proceedings of the IEEE, 1989, vol. 77(4), pp. 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
10
-
-
0026716884
-
On the complexity of forbidden state problems for controlled marked graphs
-
Brighton, UK
-
B. H. Krogh, J. Magott, and L. E. Holloway, "On the complexity of forbidden state problems for controlled marked graphs," in Proc. of 30th Conf. Decision and Control, Brighton, UK, 1991, pp. 85-91.
-
(1991)
Proc. of 30th Conf. Decision and Control
, pp. 85-91
-
-
Krogh, B.H.1
Magott, J.2
Holloway, L.E.3
-
11
-
-
0004519284
-
On the synthesis of general Petri Nets
-
Institut National de la Recherche en Informatique et Automatique - INRIA Rennes
-
E. Badouel and P. Darondeau, "On the synthesis of general petri nets," Tech. Rep. 3025, Institut National de la Recherche en Informatique et Automatique - INRIA Rennes, 1996.
-
(1996)
Tech. Rep.
, vol.3025
-
-
Badouel, E.1
Darondeau, P.2
-
12
-
-
84945564403
-
Conception du superviseur optimal vivant à l'aide de la théorie des régions
-
Toulouse, France, Herms Science Publications
-
Rezg N. Ghaffari A. and Xie X., "Conception du superviseur optimal vivant à l'aide de la théorie des régions," in Modélisation des systèmes réactifs, Toulouse, France, 2001, pp. 39-54, Herms Science Publications.
-
(2001)
Modélisation des Systèmes Réactifs
, pp. 39-54
-
-
Rezg, N.1
Ghaffari, A.2
Xie, X.3
-
14
-
-
0037836312
-
Railway traffic planning with Petri Nets and constraint programming
-
A. Benasser and P. Yim, "Railway traffic planning with petri nets and constraint programming," APII-JESA, modeling and reactive systems, vol. 33(8-9), pp. 959-975, 1999.
-
(1999)
APII-JESA, Modeling and Reactive Systems
, vol.33
, Issue.8-9
, pp. 959-975
-
-
Benasser, A.1
Yim, P.2
-
17
-
-
0032055690
-
Constructing petri net models using genetic search
-
D. J. Reid, "Constructing petri net models using genetic search," Mathemathical Computer Modelling, vol. 27, no. 8, pp. 85-103, 1998.
-
(1998)
Mathemathical Computer Modelling
, vol.27
, Issue.8
, pp. 85-103
-
-
Reid, D.J.1
-
18
-
-
0025451308
-
An introduction to prolog iii
-
Colmerauer A., "An introduction to prolog iii," Communications of the ACM, vol. 33, no. 7, pp. 69-90, 1990.
-
(1990)
Communications of the ACM
, vol.33
, Issue.7
, pp. 69-90
-
-
Colmerauer, A.1
|