-
1
-
-
0029637375
-
On the analysis of dynamical systems having piecewise constant derivatives
-
ASARIN A., MALER O., PNUELI A., "On the analysis of Dynamical Systems having piecewise constant derivatives", Theoretical Computer Science. 138, p. 35-65, 1995.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 35-65
-
-
Asarin, A.1
Maler, O.2
Pnueli, A.3
-
2
-
-
0344226898
-
A unified framework for hybrid control
-
Lecture Notes in Contr. And Inf. Sci., G. Cohen and J.P. Quadrat, Eds., Sophia-Antipolis, France, Springer-Verlag
-
th International conference on analysis and optimization of systems. Lecture Notes in Contr. And Inf. Sci. 199, G. Cohen and J.P. Quadrat, Eds., Sophia-Antipolis, France, Springer-Verlag, p. 352-358, 1994.
-
(1994)
th International Conference on Analysis and Optimization of Systems
, vol.199
, pp. 352-358
-
-
Branicky, M.1
Borkar, V.2
Mitter, S.3
-
3
-
-
0043167197
-
-
Rapport de DEA Automatique Industrielle, LAGEP, Université Claude Bernard, Lyon
-
CHAUSSAT A., Synthèse de commande pour des systèmes dynamiques hybrides du premier ordre, Rapport de DEA Automatique Industrielle, LAGEP, Université Claude Bernard, Lyon, 1999.
-
(1999)
Synthèse de Commande Pour des Systèmes Dynamiques Hybrides du Premier Ordre
-
-
Chaussat, A.1
-
4
-
-
0041664310
-
HYTECH: The Cornell hybrid technology tool
-
A. Nerode, P. Antsaklis, W. Kohn and S. Sastry, Eds. New York: Springer Verlag
-
HENZINGER T.A., Ho P.H., "HYTECH: the Cornell Hybrid Technology Tool", in Hybrid Systems II, A. Nerode, P. Antsaklis, W. Kohn and S. Sastry, Eds. New York: Springer Verlag, 1995, p. 265-294.
-
(1995)
Hybrid Systems II
, pp. 265-294
-
-
Henzinger, T.A.1
Ho, P.H.2
-
5
-
-
0033358783
-
Controller synthesis for hybrid systems with linear vector fields
-
Cambridge, US, Sept
-
MANON P., VALENTIN-ROUBINET C., "Controller synthesis for hybrid systems with linear vector fields", IEEE International Symposium on Intelligent Control / Intelligent Systems and Semiotics, Cambridge, US, Sept 1999, p. 17-22.
-
(1999)
IEEE International Symposium on Intelligent Control / Intelligent Systems and Semiotics
, pp. 17-22
-
-
Manon, P.1
Valentin-Roubinet, C.2
-
7
-
-
0043167196
-
-
Technical report CTH/RT/R-93/0013, Control Engineering Lab, Chalmers university of technology, Gothenburg, Sweden
-
TITTUS M., An algorithm for the generation of control laws for linear hybrid systems, Technical report CTH/RT/R-93/0013, Control Engineering Lab, Chalmers university of technology, Gothenburg, Sweden, 1993.
-
(1993)
An Algorithm for the Generation of Control Laws for Linear Hybrid Systems
-
-
Tittus, M.1
-
8
-
-
0032048781
-
Control design for integrator hybrid systems
-
TITTUS M., EGARDT B., "Control design for integrator hybrid systems", IEEE T. Automatic Control, vol. 43, nb 4, p. 491-500, 1998.
-
(1998)
IEEE T. Automatic Control
, vol.43
, Issue.4
, pp. 491-500
-
-
Tittus, M.1
Egardt, B.2
|