×

Found 92 Documents (Results 1–92)

100
MathJax

Probabilistic invariance of mixed deterministic-stochastic dynamical systems. (English) Zbl 1362.93141

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 207-216 (2012).
PDF BibTeX XML Cite
Full Text: DOI

Covariant transformations of basis differential-difference schemes in a plane. (Russian, English) Zbl 1249.65139

Zh. Vychisl. Mat. Mat. Fiz. 51, No. 11, 2033-2041 (2011); translation in Comput. Math. Math. Phys. 51, No. 11, 1915-1922 (2011).
MSC:  65L03 34K34 34K28 65L12
PDF BibTeX XML Cite
Full Text: DOI

Modifications of the methods of successive approximations for problems of optimal control of logic-dynamic systems. (English. Russian original) Zbl 1230.49030

Autom. Remote Control 72, No. 6, 1155-1162 (2011); translation from Avtom. Telemekh. 2011, No. 6, 18-26 (2011).
MSC:  49M30 93C30 34H05
PDF BibTeX XML Cite
Full Text: DOI

Reachability sets of hybrid systems in the presence of successive switchings. (English. Russian original) Zbl 1181.93016

Mosc. Univ. Comput. Math. Cybern. 33, No. 2, 87-96 (2009); translation from Vestn. Mosk. Univ., Ser. XV 2009, No. 2, 33-40 (2009).
MSC:  93B03 93C30
PDF BibTeX XML Cite
Full Text: DOI

Quality of LP-based approximations for highly combinatorial problems. (English) Zbl 1152.68564

Wallace, Mark (ed.), Principles and practice of constraint programming – CP 2004. 10th international conference, CP 2004, Toronto, Canada, September 27–October 1, 2004. Proceedings. Berlin: Springer (ISBN 978-3-540-23241-4/pbk). Lecture Notes in Computer Science 3258, 377-392 (2004).
MSC:  68T20 90C05
PDF BibTeX XML Cite
Full Text: DOI

Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the Hamilton-Jacobi equation using viability techniques. (English) Zbl 1046.49026

Tomlin, Claire J. (ed.) et al., Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25–27, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43321-X). Lect. Notes Comput. Sci. 2289, 90-104 (2002).
PDF BibTeX XML Cite
Full Text: Link

Hybrid modeling and simulation of biomolecular networks. (English) Zbl 0993.92010

Di Benedetto, Maria Domenica (ed.) et al., Hybrid systems: Computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2034, 19-32 (2002).
MSC:  92C37 93C30
PDF BibTeX XML Cite
Full Text: Link

Ellipsoidal techniques for reachability analysis. (English) Zbl 0962.93009

Lynch, Nancy (ed.) et al., Hybrid systems: computation and control. 3rd international workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1790, 202-214 (2000).
MSC:  93B03 93B40 93C05
PDF BibTeX XML Cite

Properties of finite rank operators that arise in approximation of integral operators related to linear dynamical systems. (English) Zbl 1193.93114

Giles, John R. (ed.) et al., National symposium on functional analysis, optimization and applications. Papers from the workshop, March 9–19 and the miniconference, March 20–21, 1998, Newcastle, UK. Canberra: Australian National University, Centre for Mathematics and its Applications (ISBN 0-7315-5200-8/pbk). Proceedings of the Centre for Mathematics and its Applications, Australian National University 36, 39-48 (1999).
MSC:  93C30
PDF BibTeX XML Cite

Approximating automata and discrete control for continuous systems – two examples from process control. (English) Zbl 0928.93018

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, 279-303 (1999).
PDF BibTeX XML Cite

Generalized cell-centered finite volume methods: Application to two-phase flow in porous media. (English) Zbl 0919.76065

Bristeau, M.-O. (ed.) et al., Computational science for the 21st century. Dedicated to Prof. Roland Glowinski on the occasion of his 60th birthday. Symposium, Tours, France, May 5–7, 1997. Chichester: John Wiley & Sons. 231-241 (1997).
MSC:  76M25 76M10 76T99 76S05
PDF BibTeX XML Cite

Finite-dimensional input approximation in parabolic variational inequalities. (English. Russian original) Zbl 0881.93036

Proc. Steklov Inst. Math. 211, 295-305 (1995); translation from Tr. Mat. Inst. Steklova 211, 326-337 (1995).
MSC:  93C25 93C30 93B28
PDF BibTeX XML Cite

A hybrid perturbation-Galerkin technique for partial differential equations. (English) Zbl 0743.65087

Asymptotic analysis and the numerical solution of partial differential equations, Proc. Workshop, Argonne/IL (USA) 1990, Lect. Notes Pure Appl. Math. 130, 113-134 (1991).
PDF BibTeX XML Cite

Computational fluid dynamics. Proceedings of the international symposium on computational fluid dynamics, Sydney, Australia, August 1987. (English) Zbl 0683.76001

Amsterdam etc.: North-Holland. xiii, 792 p. $ 131.50; Dfl. 250.00 (1988).
Reviewer: V.Korneev
MSC:  76-06 76M99
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software