-
1
-
-
0019559589
-
Nonlinear regulation: The piecewise linear approach
-
E.D. Sontag: Nonlinear regulation: The piecewise linear approach, IEEE T-AC, 346-358 (1981)
-
(1981)
IEEE T-AC
, pp. 346-358
-
-
Sontag, E.D.1
-
2
-
-
0032050207
-
Algorithmic analysis of nonlinear hybrid systems
-
T.A. Henzinger et al.: Algorithmic analysis of nonlinear hybrid systems, IEEE T-AC, 540-554 (1998)
-
(1998)
IEEE T-AC
, pp. 540-554
-
-
Henzinger, T.A.1
-
3
-
-
35248860724
-
Reachability analysis of nonlinear systems using conservative approximation
-
E. Asarin et al.: Reachability analysis of nonlinear systems using conservative approximation, HSCC, LNCS 2623, 20-35 (2003)
-
(2003)
HSCC, LNCS
, vol.2623
, pp. 20-35
-
-
Asarin, E.1
-
4
-
-
0242581906
-
Safety verification of conflict resolution maneuvers
-
C. Tomlin et al.: Safety verification of conflict resolution maneuvers, IEEE T-ITS, 110-120 (2001)
-
(2001)
IEEE T-ITS
, pp. 110-120
-
-
Tomlin, C.1
-
5
-
-
0037293274
-
A clustering technique for the identification of piecewise affine systems
-
G. Ferrari-Trecate et al.: A clustering technique for the identification of piecewise affine systems, Automatica, 205-217 (2003)
-
(2003)
Automatica
, pp. 205-217
-
-
Ferrari-Trecate, G.1
-
6
-
-
0033097938
-
Control of systems integrating logic, dynamics, and constraints
-
A. Bemporad & M. Morari: Control of systems integrating logic, dynamics, and constraints, Automatica, 407-427 (1999)
-
(1999)
Automatica
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
7
-
-
85128511664
-
A Probabilistic Approach to Controllability/ Reachability Analysis of Hybrid Systems
-
S. Azuma & J. Imura: A Probabilistic Approach to Controllability/ Reachability Analysis of Hybrid Systems, IEEE CDC, 485-490 (2004)
-
(2004)
IEEE CDC
, vol.485-490
-
-
Azuma, S.1
Imura, J.2
-
8
-
-
0036990518
-
Comparison of Riemann and Lebesgue sampling for first order stochastic systems
-
K.J. Åström & B.M. Bernhardsson: Comparison of Riemann and Lebesgue sampling for first order stochastic systems, IEEE CDC, 2011-2016 (2002)
-
(2002)
IEEE CDC
, vol.2011-2016
-
-
Åström, K.J.1
Bernhardsson, B.M.2
-
9
-
-
0035805255
-
Integrated genomic and proteomic analyses of a systematically perturbed metabolic network
-
T. Ideker et al.: Integrated genomic and proteomic analyses of a systematically perturbed metabolic network, Science, 934-937 (2001)
-
(2001)
Science
, vol.934-937
-
-
Ideker, T.1
-
10
-
-
0004178386
-
-
Third Edition, Prentice Hall, New Jersey
-
H.K. Khalil: Nonlinear Systems (Third Edition): Prentice Hall, New Jersey (2002)
-
(2002)
Nonlinear Systems
-
-
Khalil, H.K.1
-
11
-
-
0000872569
-
Probabilistic robustness analysis: Explicit bounds for the minimum number of samples
-
R. Tempo et al.: Probabilistic robustness analysis: Explicit bounds for the minimum number of samples, SCL, 237-242 (1997)
-
(1997)
SCL
, vol.237-242
-
-
Tempo, R.1
-
12
-
-
22444436489
-
An analytical study of the number of steady states in gene regulatory networks
-
A. Mochizuki: An analytical study of the number of steady states in gene regulatory networks, J. of Theor. Bio., 291-310 (2005)
-
(2005)
J. of Theor. Bio
, vol.291-310
-
-
Mochizuki, A.1
|