×

Found 92 Documents (Results 1–92)

100
MathJax
Newest 1st
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro

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).
MSC:  93E03 93C55 93B03 92E20
PDF BibTeX XML Cite
\textit{S. Esmaeil Zadeh Soudjani} and \textit{A. Abate}, in: 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). 207--216 (2012; Zbl 1362.93141)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Korobitsyn, V. A.

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
\textit{V. A. Korobitsyn}, Zh. Vychisl. Mat. Mat. Fiz. 51, No. 11, 2033--2041 (2011; Zbl 1249.65139); translation in Comput. Math. Math. Phys. 51, No. 11, 1915--1922 (2011)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Baturin, V. A.; Maltugueva, N. S.

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
\textit{V. A. Baturin} and \textit{N. S. Maltugueva}, Autom. Remote Control 72, No. 6, 1155--1162 (2011; Zbl 1230.49030); translation from Avtom. Telemekh. 2011, No. 6, 18--26 (2011)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Zakroishchikov, V. N.

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
\textit{V. N. Zakroishchikov}, Mosc. Univ. Comput. Math. Cybern. 33, No. 2, 87--96 (2009; Zbl 1181.93016); translation from Vestn. Mosk. Univ., Ser. XV 2009, No. 2, 33--40 (2009)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Leahu, Lucian; Gomes, Carla P.

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
\textit{L. Leahu} and \textit{C. P. Gomes}, Lect. Notes Comput. Sci. 3258, 377--392 (2004; Zbl 1152.68564)
Full Text: DOI
  • logo of hbz
  • logo of WorldCat
Bayen, Alexandre M.; Crück, Eva; Tomlin, Claire J.

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).
MSC:  49N90 49M25 49L25 93B03 93C85
PDF BibTeX XML Cite
\textit{A. M. Bayen} et al., Lect. Notes Comput. Sci. 2289, 90--104 (2002; Zbl 1046.49026)
Full Text: Link
  • logo of hbz
  • logo of WorldCat
Alur, Rajeev; Belta, Calin; Ivančić, Franjo; Kumar, Vijay; Mintz, Max

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
\textit{R. Alur} et al., Lect. Notes Comput. Sci. 2034, 19--32 (2002; Zbl 0993.92010)
Full Text: Link
  • logo of hbz
  • logo of WorldCat

News in numerical modelling. Algorithms, numerical experiments, results. Dedicated to O. M. Belotserkovskij on the occasion of his 75th birthday. (Novoe v chislennom modelirovanii. Algoritmy, vychislitel’nye ehksperimenty, resul’taty.) (Russian) Zbl 0984.76004

Moskva: Nauka. 244 p. (2000).
Reviewer: Raico R.D.Lazarov (College Station)
MSC:  76-06 76Mxx 65M06 00A72 76Nxx
PDF BibTeX XML Cite
Novoe v chislennom modelirovanii. Algoritmy, vychislitel'nye ehksperimenty, resul'taty (Russian). Moskva: Nauka (2000; Zbl 0984.76004)
  • logo of hbz
  • logo of WorldCat
Kurzhanski, Alexander B.; Varaiya, Pravin

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).
Reviewer: Marc Quincampoix (Brest)
MSC:  93B03 93B40 93C05
PDF BibTeX XML Cite
\textit{A. B. Kurzhanski} and \textit{P. Varaiya}, Lect. Notes Comput. Sci. 1790, 202--214 (2000; Zbl 0962.93009)
  • logo of hbz
  • logo of WorldCat
de Doná, José A.; Goodwin, Graham C.; Middleton, Richard H.

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
\textit{J. A. de Doná} et al., Proc. Cent. Math. Appl. Aust. Natl. Univ. 36, 39--48 (1999; Zbl 1193.93114)
  • logo of hbz
  • logo of WorldCat
Raisch, Jörg; Klein, Eberhard; O’Young, Siu; Meder, Christian; Itigin, Alexander

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).
Reviewer: I.Randvee (Tallinn)
MSC:  93B51 93C95 93C30 93A13
PDF BibTeX XML Cite
\textit{J. Raisch} et al., Lect. Notes Comput. Sci. 1567, 279--303 (1999; Zbl 0928.93018)
  • logo of hbz
  • logo of WorldCat
Chavent, Guy; Jaffré, Jérôme; Roberts, Jean E.

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
\textit{G. Chavent} et al., in: 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; Zbl 0919.76065)
  • logo of hbz
  • logo of WorldCat
Maksimov, V. I.

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).
Reviewer: Z.Denkowski (Kraków)
MSC:  93C25 93C30 93B28
PDF BibTeX XML Cite
\textit{V. I. Maksimov}, in: Optimal control and differential equations. Collected papers. In honor of the seventieth birthday of Academician Evgenij Frolovich Mishchenko. Moscow: Maik Nauka/Interperiodica Publishing. 1 (1995; Zbl 0881.93036); translation from Tr. Mat. Inst. Steklova 211, 326--337 (1995)
  • logo of hbz
  • logo of WorldCat
Geer, James; Andersen, Carl M.

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).
Reviewer: J.Weisel (Lollar-Ruttershausen)
MSC:  65N30 35R35 35J25 35J65
PDF BibTeX XML Cite
\textit{J. Geer} and \textit{C. M. Andersen}, Lect. Notes Pure Appl. Math. None, 113--134 (1991; Zbl 0743.65087)
  • logo of hbz
  • logo of WorldCat
de Vahl Davis, Graham (ed.); Fletcher, Clive (ed.)

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
\textit{G. de Vahl Davis} (ed.) and \textit{C. Fletcher} (ed.), Computational fluid dynamics. Proceedings of the international symposium on computational fluid dynamics, Sydney, Australia, August 1987. Amsterdam etc.: North-Holland (1988; Zbl 0683.76001)
  • logo of hbz
  • logo of WorldCat

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software