Search dblp for Publications

export results for "toc:db/conf/hybrid/hscc2012.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.