×

Found 64 Documents (Results 1–64)

Asymptotic behavior of attainable sets of linear controllable periodic systems. (English. Russian original) Zbl 0968.93012

Dokl. Math. 59, No. 1, 160-162 (1999); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 364, No. 4, 462-464 (1999).
MSC:  93B03 93C05
PDFBibTeX XMLCite

Properties of linear discrete-time system in terms of its singular value decomposition. (English) Zbl 0970.93028

Miller, Daniel E. (ed.) et al., Topics in control and its applications. A tribute to Edward J. Davison. Papers from the workshop held in Toronto, Canada, June 29-30, 1998. London: Springer. 207-212 (1999).
Reviewer: R.Tracht (Essen)
MSC:  93C55 93B03 93C05
PDFBibTeX XMLCite

Attainability, compatibility and V. M. Millionshchikov’s method of rotations. (English. Russian original) Zbl 1049.93504

Russ. Math. 43, No. 2, 42-52 (1999); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1999, No. 2, 45-56 (1999).
PDFBibTeX XMLCite

Certain covering theorems and their application in control theory. (English. Russian original) Zbl 0967.49018

Proc. Steklov Inst. Math. 224, 240-249 (1999); translation from Tr. Mat. Inst. Steklova 224, 264-274 (1999).
MSC:  49K27 49K15 93B03
PDFBibTeX XMLCite

Petri nets with generalized algebra: A comparison. (English) Zbl 0958.68113

Castellani, Ilaria (ed.) et al., EXPRESS ’99. The 6th international workshop on expressiveness in concurrency, Eindhoven, the Netherlands, August 23, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 27, 15 p., electronic only (1999).
MSC:  68Q85
PDFBibTeX XMLCite

Modular verification of dynamic properties for reactive systems. (English) Zbl 0963.68119

Araki, Keijiro (ed.) et al., IFM 99. Proceedings of the 1st international conference on Integrated formal methods, York, GB, June 28-29, 1999. London: Springer. 89-108 (1999).
MSC:  68Q60
PDFBibTeX XMLCite

Approximate construction of attainability sets of control systems with integral constraints on the controls. (English. Russian original) Zbl 0953.93010

J. Appl. Math. Mech. 63, No. 4, 557-567 (1999); translation from Prikl. Mat. Mekh. 63, No. 4, 580-590 (1999).
MSC:  93B03 93C10
PDFBibTeX XMLCite

Differential inclusions mapping simplexes to simplexes. (English) Zbl 0981.93020

Dobnikar, Andrej (ed.) et al., Artificial neural nets and genetic algorithms. ICANNGA ’99. Proceedings of the 4th international conference held in Protorož, Slovenia, 1999. Wien: Springer. 317-319 (1999).
MSC:  93B40 93B03 93C41
PDFBibTeX XMLCite

Autonomous continuous P/T systems. (English) Zbl 0934.93037

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets 1999. 20th international conference, ICATPN ’99. Williamsburg, VA, USA, June 21-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1639, 107-126 (1999).
MSC:  93C30 93B03 68Q85
PDFBibTeX XMLCite

Reachability analysis using polygonal projections. (English) Zbl 1038.93509

Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29–31, 1999. Proceedings. Berlin: Springer (ISBN 3-540-65734-7). Lect. Notes Comput. Sci. 1569, 103-116 (1999).
MSC:  93B03 90C05 93B40
PDFBibTeX XMLCite
Full Text: DOI

Computing controllers for nonlinear hybrid systems. (English) Zbl 0951.93012

Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29-31, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1569, 238-255 (1999).
PDFBibTeX XMLCite

Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis. (English) Zbl 0925.93117

Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29–31, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1569, 209-222 (1999).
MSC:  93B12 93B03 93C30
PDFBibTeX XMLCite

A new class of decidable hybrid systems. (English) Zbl 0926.93036

Vaandrager, Frits W. (ed.) et al., Hybrid systems: Computation and control. 2nd international workshop, HSCC ’99. Berg en Dal, the Netherlands, March 29–31, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1569, 137-151 (1999).
PDFBibTeX XMLCite

Hybrid systems with finite bisimulations. (English) Zbl 0942.93015

Antsaklis, Panos (ed.) et al., Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11-13, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1567, 186-203 (1999).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software