×

zbMATH — the first resource for mathematics

Found 61 Documents (Results 1–61)

100
MathJax
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 280-281 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 555-572 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 81-90 (2017).
MSC:  93D30 93D05 93C30
PDF BibTeX XML Cite
Full Text: DOI
van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 367-374 (2015).
MSC:  93A30 93C30 93C85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 347-355 (2015).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 53, No. 5, 656-688 (2014); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2014, No. 5, 38-70 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 313-322 (2013).
MSC:  68Q60 68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 303-312 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
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, 149-163 (2002).
MSC:  93C30 93B52
PDF BibTeX XML Cite
Full Text: Link
Inan, M. Kemal (ed.) et al., Verification of digital and hybrid systems. Proceedings of the NATO ASI, Antalya, Turkey, May 26-June 6, 1997. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 170, 332-354 (2000).
MSC:  93C65 93B05 93B03
PDF BibTeX XML Cite
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, 145-159 (2000).
Reviewer: D.Franke (Hamburg)
PDF BibTeX XML Cite
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, 89-102 (2000).
MSC:  93C65 49L25
PDF BibTeX XML Cite
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, 32-44 (2000).
MSC:  93C95 93C65 90B25
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
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, 19-30 (1999).
MSC:  93C30 49N05
PDF BibTeX XML Cite
Ehresmann, Andrée C. (ed.), Actes du symposium ECHO. Emergence - complexité hiérarchique - organisation: modèles de la boucle évolutive. Université de Picardiee, Amiens, France, Août 21-23, 1996. Amiens: Univ. de Picardie, 35-39 (1996).
MSC:  93A10 93C30
PDF BibTeX XML Cite
Cohen, Guy (ed.) et al., 11th International conference on analysis and optimization of systems: discrete event systems. Sophia-Antipolis, France, June 15-17, 1994. Berlin: Springer-Verlag. Lect. Notes Control Inf. Sci. 199, 331-351 (1994).
MSC:  68Q45
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 251-274 (1991).
MSC:  68Q10 93C30
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
all top 3
Software