-
1
-
-
84974731232
-
Approximate reachability analysis of piecewise-linear hybrid systems
-
N. Lynch, & B. H. Krogh (Eds.). Berlin: Springer
-
Asarin, E., Bournez, O., Dang, T., & Maler, O. (2000). Approximate reachability analysis of piecewise-linear hybrid systems. In N. Lynch, & B. H. Krogh (Eds.), Hybrid systems: computation and control, Lecture notes in computer science, Vol. 1790 (pp. 20-31). Berlin: Springer.
-
(2000)
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science
, vol.1790
, pp. 20-31
-
-
Asarin, E.1
Bournez, O.2
Dang, T.3
Maler, O.4
-
3
-
-
0033097938
-
Control of systems integrating logic, dynamics, and constraints
-
Bemporad A., Morari M. Control of systems integrating logic, dynamics, and constraints. Automatica. 35:1999;407-427.
-
(1999)
Automatica
, vol.35
, pp. 407-427
-
-
Bemporad, A.1
Morari, M.2
-
6
-
-
0033221515
-
Set invariance in control
-
Blanchini F. Set invariance in control. Automatica. 35:1999;1747-1767.
-
(1999)
Automatica
, vol.35
, pp. 1747-1767
-
-
Blanchini, F.1
-
7
-
-
4243170669
-
Exact volume computation for polytopes: A practical study
-
G. Kalai, & G. M. Ziegler (Eds.), Basel: Birkhäuser
-
Büeler, B., Enge, A., & Fukuda, K. (2000). Exact volume computation for polytopes: A practical study. In G. Kalai, & G. M. Ziegler (Eds.), Polytopes - combinatorics and computation (pp. 131-154). Basel: Birkhäuser.
-
(2000)
Polytopes - Combinatorics and Computation
, pp. 131-154
-
-
Büeler, B.1
Enge, A.2
Fukuda, K.3
-
9
-
-
0012543531
-
Minimal triangulation of the 4-cube
-
Cottle R.W. Minimal triangulation of the 4-cube. Discrete Mathematics. 40:1982;25-29.
-
(1982)
Discrete Mathematics
, vol.40
, pp. 25-29
-
-
Cottle, R.W.1
-
10
-
-
0002654690
-
Voronoi diagrams and Delaunay triangulations
-
J. E. Goodman, & J. O'Rourke (Eds.), Boca Raton, NY: CRC Press
-
Fortune, S. (1997). Voronoi diagrams and Delaunay triangulations. In J. E. Goodman, & J. O'Rourke (Eds.), Handbook of discrete and computational geometry (pp. 377-388). Boca Raton, NY: CRC Press.
-
(1997)
Handbook of Discrete and Computational Geometry
, pp. 377-388
-
-
Fortune, S.1
-
14
-
-
0022706308
-
Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states
-
Gutman P.-O., Cwikel M. Admissible sets and feedback control for discrete-time linear dynamical systems with bounded controls and states. IEEE Transactions on Automatic Control. 31:1986;373-376.
-
(1986)
IEEE Transactions on Automatic Control
, vol.31
, pp. 373-376
-
-
Gutman, P.-O.1
Cwikel, M.2
-
15
-
-
0023312711
-
An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states
-
Gutman P.-O., Cwikel M. An algorithm to find maximal state constraint sets for discrete-time linear dynamical systems with bounded controls and states. IEEE Transactions on Automatic Control. 32:1987;251-254.
-
(1987)
IEEE Transactions on Automatic Control
, vol.32
, pp. 251-254
-
-
Gutman, P.-O.1
Cwikel, M.2
-
16
-
-
84944201228
-
Control of piecewise-linear hybrid systems on simplices and rectangles
-
M. D. Di Benedetto, & A. L. Sangiovanni-Vincentelli (Eds.), Berlin: Springer
-
Habets, L. C. G. J. M., van Schuppen, J. H. (2001a). Control of piecewise-linear hybrid systems on simplices and rectangles. In M. D. Di Benedetto, & A. L. Sangiovanni-Vincentelli (Eds.), Hybrid systems: Computation and control, Lecture notes in computer science, Vol. 2034 (pp. 261-274). Berlin: Springer.
-
(2001)
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science
, vol.2034
, pp. 261-274
-
-
Habets, L.C.G.J.M.1
Van Schuppen, J.H.2
-
20
-
-
0009921424
-
Subdivisions and triangulations of polytopes
-
J. E. Goodman, & J. O'Rourke (Eds.), Boca Raton, NY: CRC Press
-
Lee, C. W. (1997). Subdivisions and triangulations of polytopes. In J. E. Goodman, & J. O'Rourke (Eds.), Handbook of discrete and computational geometry (pp. 271-290). Boca Raton, NY: CRC Press.
-
(1997)
Handbook of Discrete and Computational Geometry
, pp. 271-290
-
-
Lee, C.W.1
-
23
-
-
0004267646
-
-
Princeton: Princeton University Press
-
Rockafellar R.T. Convex analysis. 1970;Princeton University Press, Princeton.
-
(1970)
Convex Analysis
-
-
Rockafellar, R.T.1
-
24
-
-
84957866652
-
A sufficient condition for controllability of a class of hybrid systems
-
T. A. Henzinger, & S. Sastry (Eds.), Berlin: Springer
-
van Schuppen, J. H. (1998). A sufficient condition for controllability of a class of hybrid systems. In T. A. Henzinger, & S. Sastry (Eds.), Hybrid systems: Computation and control, Lecture notes in computer science, Vol. 1386 (pp. 374-383). Berlin: Springer.
-
(1998)
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science
, vol.1386
, pp. 374-383
-
-
Van Schuppen, J.H.1
-
25
-
-
0019559589
-
Nonlinear regulation: The piecewise linear approach
-
Sontag E.D. Nonlinear regulation. The piecewise linear approach IEEE Transactions on Automatic Control. 26:1981;346-358.
-
(1981)
IEEE Transactions on Automatic Control
, vol.26
, pp. 346-358
-
-
Sontag, E.D.1
-
26
-
-
84972545948
-
Remarks on piecewise-linear algebra
-
Sontag E.D. Remarks on piecewise-linear algebra. Pacific Journal of Mathematics. 98:1982;183-201.
-
(1982)
Pacific Journal of Mathematics
, vol.98
, pp. 183-201
-
-
Sontag, E.D.1
-
27
-
-
84958050603
-
Interconnected automata and linear systems: A theoretical framework in discrete-time
-
R. Alur, T. A. Henzinger, & E. D. Sontag (Eds.), Berlin: Springer
-
Sontag, E. D. (1996). Interconnected automata and linear systems: A theoretical framework in discrete-time. In R. Alur, T. A. Henzinger, & E. D. Sontag (Eds.), Hybrid systems III: Verification and control, Lecture notes in computer science, Vol. 1066 (pp. 436-448). Berlin: Springer.
-
(1996)
Hybrid Systems III: Verification and Control, Lecture Notes in Computer Science
, vol.1066
, pp. 436-448
-
-
Sontag, E.D.1
-
29
-
-
0024733908
-
Constrained regulation of linear continuous-time dynamical systems
-
Vassilaki M., Bitsoris G. Constrained regulation of linear continuous-time dynamical systems. Systems & Control Letters. 13:1989;247-252.
-
(1989)
Systems & Control Letters
, vol.13
, pp. 247-252
-
-
Vassilaki, M.1
Bitsoris, G.2
-
30
-
-
0004005802
-
A library for doing polyhedral operations
-
IRISA, Rennes
-
Wilde, D. K. (1993). A library for doing polyhedral operations. Publication Interne 785, IRISA, Rennes.
-
(1993)
Publication Interne 785
-
-
Wilde, D.K.1
|