-
1
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. h. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 3-34
-
-
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
-
3
-
-
0023453626
-
Learning regular sets from queries and counter-examples
-
D. Angluin. Learning regular sets from queries and counter-examples. Inf. Comp., pages 75(2):87-106, 1987.
-
(1987)
Inf. Comp.
, vol.75
, Issue.2
, pp. 87-106
-
-
Angluin, D.1
-
4
-
-
84890803929
-
-
Automation ML. www.automationml.org, 2010.
-
(2010)
-
-
-
6
-
-
0033295264
-
Learning deterministic regular grammars from stochastic samples in polynomial time
-
R. C. Carrasco and J. Oncina. Learning deterministic regular grammars from stochastic samples in polynomial time. In RAIRO (Theoretical Informatics and Applications), page 33(1):120, 1999.
-
(1999)
RAIRO (Theoretical Informatics and Applications)
, vol.33
, Issue.1
, pp. 120
-
-
Carrasco, R.C.1
Oncina, J.2
-
7
-
-
0001187706
-
Complexity of automaton identification from given data
-
E. M. Gold. Complexity of automaton identification from given data. Information and Control, 37(3):302-320, 1978.
-
(1978)
Information and Control
, vol.37
, Issue.3
, pp. 302-320
-
-
Gold, E.M.1
-
8
-
-
38049108519
-
Learning cycle-linear hybrid automata for excitable cells
-
Proc. of HSCC07, the 10th International Conference on Hybrid Systems: Computation and Control, Springer Verlag
-
R. Grosu, S. Mitra, P. Ye, E. Entcheva, I. V. Ramakrishnan, and S. A. Smolka. Learning cycle-linear hybrid automata for excitable cells. In Proc. of HSCC07, the 10th International Conference on Hybrid Systems: Computation and Control, volume 4416 of LNCS, pages 245-258. Springer Verlag, 2007.
-
(2007)
LNCS
, vol.4416
, pp. 245-258
-
-
Grosu, R.1
Mitra, S.2
Ye, P.3
Entcheva, E.4
Ramakrishnan, I.V.5
Smolka, S.A.6
-
10
-
-
84865504837
-
Statistical models of network traffic
-
B. Kumar, O. Niggemann, and J. Jasperneite. Statistical models of network traffic. In International Conference on Computer, Electrical and Systems Science,. Cape Town, South Africa, Jan 2010.
-
International Conference on Computer, Electrical and Systems Science,. Cape Town, South Africa, Jan 2010
-
-
Kumar, B.1
Niggemann, O.2
Jasperneite, J.3
-
12
-
-
29144515963
-
-
PhD thesis, Vanderbilt University, Faculty of the Graduate School, Nashville, TN, USA
-
S. Narasimhan. Model-based Diagnosis of Hybrid Systems. PhD thesis, Vanderbilt University, Faculty of the Graduate School, Nashville, TN, USA, 2002.
-
(2002)
Model-based Diagnosis of Hybrid Systems
-
-
Narasimhan, S.1
-
13
-
-
84873291712
-
Fighting the modeling bottleneck - Learning models for production plants
-
O. Niggemann, A. Maier, A. Vodenčarević, and B. Jantscher. Fighting the modeling bottleneck - learning models for production plants. In MBEES - Model-Based Development of Embedded Systems. Dagstuhl, 2011, February 2011.
-
MBEES - Model-Based Development of Embedded Systems. Dagstuhl, 2011, February 2011
-
-
Niggemann, O.1
Maier, A.2
Vodenčarević, A.3
Jantscher, B.4
-
14
-
-
0002655021
-
Inferring regular languages in polynomial update time
-
Pattern Recognition and Image Analysis, World Scientific
-
J. Oncina and P. Garcia. Inferring regular languages in polynomial update time. In Pattern Recognition and Image Analysis, volume 1 of Machine Perception and Artificial Intelligence. World Scientific, 1992.
-
(1992)
Machine Perception and Artificial Intelligence
, vol.1
-
-
Oncina, J.1
Garcia, P.2
-
17
-
-
80655136745
-
Detecting and Learning Unknown Fault States in Hybrid Diagnosis
-
Stockholm, Sweden
-
M. Wang and R. Dearden. Detecting and Learning Unknown Fault States in Hybrid Diagnosis. In Proceedings of the 20th International Workshop on Principles of Diagnosis, DX09, pages 19-26, Stockholm, Sweden, 2009.
-
(2009)
Proceedings of the 20th International Workshop on Principles of Diagnosis, DX09
, pp. 19-26
-
-
Wang, M.1
Dearden, R.2
-
18
-
-
29144453294
-
Monitoring and fault diagnosis of hybrid systems
-
F. Zhao, X. D. Koutsoukos, H. W. Haussecker, J. Reich, and P. Cheung. Monitoring and fault diagnosis of hybrid systems. IEEE Transactions on Systems, Man, and Cybernetics, Part B, 35(6):1225-1240, 2005.
-
(2005)
IEEE Transactions on Systems, Man, and Cybernetics, Part B
, vol.35
, Issue.6
, pp. 1225-1240
-
-
Zhao, F.1
Koutsoukos, X.D.2
Haussecker, H.W.3
Reich, J.4
Cheung, P.5
|