Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/hybrid/hscc2012.bht:"
@inproceedings{DBLP:conf/hybrid/AlthoffK12, author = {Matthias Althoff and Bruce H. Krogh}, editor = {Thao Dang and Ian M. Mitchell}, title = {Avoiding geometric intersection operations in reachability analysis of hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {45--54}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185643}, doi = {10.1145/2185632.2185643}, timestamp = {Tue, 03 Aug 2021 16:22:20 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AlthoffK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AlurTW12, author = {Rajeev Alur and Ashutosh Trivedi and Dominik Wojtczak}, editor = {Thao Dang and Ian M. Mitchell}, title = {Optimal scheduling for constant-rate multi-mode systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {75--84}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185647}, doi = {10.1145/2185632.2185647}, timestamp = {Sat, 01 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AlurTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AmesCP12, author = {Aaron D. Ames and Eric A. Cousineau and Matthew J. Powell}, editor = {Thao Dang and Ian M. Mitchell}, title = {Dynamically stable bipedal robotic walking with {NAO} via human-inspired hybrid zero dynamics}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {135--144}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185655}, doi = {10.1145/2185632.2185655}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AmesCP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AswaniDHVGBT12, author = {Anil Aswani and Jerry Ding and Haomiao Huang and Michael P. Vitus and Jeremy H. Gillula and Patrick Bouffard and Claire J. Tomlin}, editor = {Thao Dang and Ian M. Mitchell}, title = {Verification and control of hybrid systems using reachability analysis with machine learning}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {1--2}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185634}, doi = {10.1145/2185632.2185634}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/AswaniDHVGBT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Belta12, author = {Calin Belta}, editor = {Thao Dang and Ian M. Mitchell}, title = {Formal methods for dynamical systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {3--4}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185636}, doi = {10.1145/2185632.2185636}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/Belta12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BenerecettiFM12, author = {Massimo Benerecetti and Marco Faella and Stefano Minopoli}, editor = {Thao Dang and Ian M. Mitchell}, title = {Reachability games for linear hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {65--74}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185645}, doi = {10.1145/2185632.2185645}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/BenerecettiFM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BorriPB12, author = {Alessandro Borri and Giordano Pola and Maria Domenica Di Benedetto}, editor = {Thao Dang and Ian M. Mitchell}, title = {A symbolic approach to the design of nonlinear networked control systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {255--264}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185670}, doi = {10.1145/2185632.2185670}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/BorriPB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ChenDKM12, author = {Taolue Chen and Marco Diciolla and Marta Z. Kwiatkowska and Alexandru Mereacre}, editor = {Thao Dang and Ian M. Mitchell}, title = {Verification of linear duration properties over continuous-time markov chains}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {265--274}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185672}, doi = {10.1145/2185632.2185672}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ChenDKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ColomboV12, author = {Alessandro Colombo and Domitilla Del Vecchio}, editor = {Thao Dang and Ian M. Mitchell}, title = {Efficient algorithms for collision avoidance at intersections}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {145--154}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185656}, doi = {10.1145/2185632.2185656}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ColomboV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DInnocenzoAK12, author = {Alessandro D'Innocenzo and Alessandro Abate and Joost{-}Pieter Katoen}, editor = {Thao Dang and Ian M. Mitchell}, title = {Robust {PCTL} model checking}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {275--286}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185673}, doi = {10.1145/2185632.2185673}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/DInnocenzoAK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DuggiralaM12, author = {Parasara Sridhar Duggirala and Sayan Mitra}, editor = {Thao Dang and Ian M. Mitchell}, title = {Lyapunov abstractions for inevitability of hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {115--124}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185652}, doi = {10.1145/2185632.2185652}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DuggiralaM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/EyisiBRWWXKS12, author = {Emeka Eyisi and Jia Bai and Derek Riley and Jiannian Weng and Yan Wei and Yuan Xue and Xenofon D. Koutsoukos and Janos Sztipanovits}, editor = {Thao Dang and Ian M. Mitchell}, title = {{NCSWT:} an integrated modeling and simulation tool for networked control systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {287--290}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185675}, doi = {10.1145/2185632.2185675}, timestamp = {Thu, 11 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/EyisiBRWWXKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GolLB12, author = {Ebru Aydin Gol and Mircea Lazar and Calin Belta}, editor = {Thao Dang and Ian M. Mitchell}, title = {Language-guided controller synthesis for discrete-time linear systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {95--104}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185649}, doi = {10.1145/2185632.2185649}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/GolLB12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/HuangM12, author = {Zhenqi Huang and Sayan Mitra}, editor = {Thao Dang and Ian M. Mitchell}, title = {Computing bounded reach sets from sampled simulation traces}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {291--294}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185676}, doi = {10.1145/2185632.2185676}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/HuangM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KaynamaMOMD12, author = {Shahab Kaynama and John N. Maidens and Meeko Oishi and Ian M. Mitchell and Guy Albert Dumont}, editor = {Thao Dang and Ian M. Mitchell}, title = {Computing the viability kernel using maximal reachable sets}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {55--64}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185644}, doi = {10.1145/2185632.2185644}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/KaynamaMOMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LeBlancK12, author = {Heath LeBlanc and Xenofon D. Koutsoukos}, editor = {Thao Dang and Ian M. Mitchell}, title = {Low complexity resilient consensus in networked multi-agent systems with adversaries}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {5--14}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185637}, doi = {10.1145/2185632.2185637}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/LeBlancK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LiWL12, author = {Lichun Li and Xiaofeng Wang and Michael D. Lemmon}, editor = {Thao Dang and Ian M. Mitchell}, title = {Stabilizing bit-rates in quantized event triggered control systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {245--254}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185669}, doi = {10.1145/2185632.2185669}, timestamp = {Thu, 24 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LiWL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/MikeevW12, author = {Linar Mikeev and Verena Wolf}, editor = {Thao Dang and Ian M. Mitchell}, title = {Parameter estimation for stochastic hybrid models of biochemical reaction networks}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {155--166}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185657}, doi = {10.1145/2185632.2185657}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/MikeevW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/PrabhakarDV12, author = {Pavithra Prabhakar and Geir E. Dullerud and Mahesh Viswanathan}, editor = {Thao Dang and Ian M. Mitchell}, title = {Pre-orders for reasoning about stability}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {197--206}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185662}, doi = {10.1145/2185632.2185662}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/PrabhakarDV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/PuttaZHS12, author = {Vamsi Kalyan Putta and Guangwei Zhu and Jianghai Hu and Jinglai Shen}, editor = {Thao Dang and Ian M. Mitchell}, title = {Efficient computation of generalized input-to-state {\(\mathscr{L}\)}\({}_{\mbox{2}}\)-gains of discrete-time switched linear systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {177--186}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185660}, doi = {10.1145/2185632.2185660}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/PuttaZHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RajhansK12, author = {Akshay Rajhans and Bruce H. Krogh}, editor = {Thao Dang and Ian M. Mitchell}, title = {Heterogeneous verification of cyber-physical systems using behavior relations}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {35--44}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185641}, doi = {10.1145/2185632.2185641}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RajhansK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RebihaMM12, author = {Rachid Rebiha and Nadir Matringe and Arnaldo Vieira Moura}, editor = {Thao Dang and Ian M. Mitchell}, title = {Transcendental inductive invariants generation for non-linear differential and hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {25--34}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185640}, doi = {10.1145/2185632.2185640}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RebihaMM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RouxJGF12, author = {Pierre Roux and Romain Jobredeaux and Pierre{-}Lo{\"{\i}}c Garoche and Eric Feron}, editor = {Thao Dang and Ian M. Mitchell}, title = {A generic ellipsoid abstract domain for linear time invariant systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {105--114}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185651}, doi = {10.1145/2185632.2185651}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RouxJGF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SankaranarayananF12, author = {Sriram Sankaranarayanan and Georgios Fainekos}, editor = {Thao Dang and Ian M. Mitchell}, title = {Falsification of temporal properties of hybrid systems using the cross-entropy method}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {125--134}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185653}, doi = {10.1145/2185632.2185653}, timestamp = {Fri, 13 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/SankaranarayananF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SchrammelJ12, author = {Peter Schrammel and Bertrand Jeannet}, editor = {Thao Dang and Ian M. Mitchell}, title = {From hybrid data-flow languages to hybrid automata: a complete translation}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {167--176}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185658}, doi = {10.1145/2185632.2185658}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/SchrammelJ12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SheX12, author = {Zhikun She and Bai Xue}, editor = {Thao Dang and Ian M. Mitchell}, title = {Algebraic analysis on asymptotic stability of switched hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {187--196}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185661}, doi = {10.1145/2185632.2185661}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/SheX12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SlothPW12, author = {Christoffer Sloth and George J. Pappas and Rafael Wisniewski}, editor = {Thao Dang and Ian M. Mitchell}, title = {Compositional safety analysis using barrier certificates}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {15--24}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185639}, doi = {10.1145/2185632.2185639}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/SlothPW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SoudjaniA12, author = {Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate}, editor = {Thao Dang and Ian M. Mitchell}, title = {Probabilistic invariance of mixed deterministic-stochastic dynamical systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {207--216}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185664}, doi = {10.1145/2185632.2185664}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/SoudjaniA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/TkachevA12, author = {Ilya Tkachev and Alessandro Abate}, editor = {Thao Dang and Ian M. Mitchell}, title = {Regularization of bellman equations for infinite-horizon probabilistic properties}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {227--236}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185666}, doi = {10.1145/2185632.2185666}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/TkachevA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/TopcuOLM12, author = {Ufuk Topcu and Necmiye Ozay and Jun Liu and Richard M. Murray}, editor = {Thao Dang and Ian M. Mitchell}, title = {On synthesizing robust discrete controllers under modeling uncertainty}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {85--94}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185648}, doi = {10.1145/2185632.2185648}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/TopcuOLM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZhuYMA12, author = {Feng Zhu and Han Yu and Michael J. McCourt and Panos J. Antsaklis}, editor = {Thao Dang and Ian M. Mitchell}, title = {Passivity and stability of switched systems under quantization}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {237--244}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185668}, doi = {10.1145/2185632.2185668}, timestamp = {Tue, 13 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ZhuYMA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZulianiBC12, author = {Paolo Zuliani and Christel Baier and Edmund M. Clarke}, editor = {Thao Dang and Ian M. Mitchell}, title = {Rare-event verification for stochastic hybrid systems}, booktitle = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, pages = {217--226}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2185632.2185665}, doi = {10.1145/2185632.2185665}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/ZulianiBC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/hybrid/2012, editor = {Thao Dang and Ian M. Mitchell}, title = {Hybrid Systems: Computation and Control (part of {CPS} Week 2012), HSCC'12, Beijing, China, April 17-19, 2012}, publisher = {{ACM}}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2185632}, isbn = {978-1-4503-1220-2}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.