Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hybrid/AbateKM11,
  author    = {Alessandro Abate and
               Joost{-}Pieter Katoen and
               Alexandru Mereacre},
  title     = {Quantitative automata model checking of autonomous stochastic hybrid
               systems},
  booktitle = {{HSCC}},
  pages     = {83--92},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/AhmadiJPR11,
  author    = {Amir Ali Ahmadi and
               Rapha{\"{e}}l M. Jungers and
               Pablo A. Parrilo and
               Mardavij Roozbehani},
  title     = {Analysis of the joint spectral radius via Lyapunov functions on path-complete
               graphs},
  booktitle = {{HSCC}},
  pages     = {13--22},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/AlthoffGK11,
  author    = {Matthias Althoff and
               Colas Le Guernic and
               Bruce H. Krogh},
  title     = {Reachable set computation for uncertain time-varying linear systems},
  booktitle = {{HSCC}},
  pages     = {93--102},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/Ames11,
  author    = {Aaron D. Ames},
  title     = {Characterizing knee-bounce in bipedal robotic walking: a zeno behavior
               approach},
  booktitle = {{HSCC}},
  pages     = {163--172},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/AmesVB11,
  author    = {Aaron D. Ames and
               Ramanarayan Vasudevan and
               Ruzena Bajcsy},
  title     = {Human-data based cost of bipedal robotic walking},
  booktitle = {{HSCC}},
  pages     = {153--162},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/BrazdilKKKR11,
  author    = {Tom{\'{a}}s Br{\'{a}}zdil and
               Jan Krc{\'{a}}l and
               Jan Kret{\'{\i}}nsk{\'{y}} and
               Anton{\'{\i}}n Kucera and
               Vojtech Reh{\'{a}}k},
  title     = {Measuring performance of continuous-time stochastic processes using
               timed automata},
  booktitle = {{HSCC}},
  pages     = {33--42},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/BujorianuB11,
  author    = {Manuela L. Bujorianu and
               Marius C. Bujorianu},
  title     = {Stochastic non sequitur behavior analysis of fault tolerant hybrid
               systems},
  booktitle = {{HSCC}},
  pages     = {53--62},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/CamaraGG11,
  author    = {Javier C{\'{a}}mara and
               Antoine Girard and
               Gregor G{\"{o}}{\ss}ler},
  title     = {Synthesis of switching controllers using approximately bisimilar multiscale
               abstractions},
  booktitle = {{HSCC}},
  pages     = {191--200},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/CaruntuBLBC11,
  author    = {Constantin Florin Caruntu and
               Andreea Elena Balau and
               Mircea Lazar and
               Paul P. J. van den Bosch and
               Stefano Di Cairano},
  title     = {A predictive control solution for driveline oscillations damping},
  booktitle = {{HSCC}},
  pages     = {181--190},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/ChatterjeeP11,
  author    = {Krishnendu Chatterjee and
               Vinayak S. Prabhu},
  title     = {Synthesis of memory-efficient "real-time" controllers for safety objectives},
  booktitle = {{HSCC}},
  pages     = {221--230},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/DammIS11,
  author    = {Werner Damm and
               Carsten Ihlemann and
               Viorica Sofronie{-}Stokkermans},
  title     = {Decidability and complexity for the verification of safety properties
               of reasonable linear hybrid automata},
  booktitle = {{HSCC}},
  pages     = {73--82},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/DangT11,
  author    = {Thao Dang and
               Romain Testylier},
  title     = {Hybridization domain construction using curvature estimation},
  booktitle = {{HSCC}},
  pages     = {123--132},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/FlasskampO11,
  author    = {Kathrin Fla{\ss}kamp and
               Sina Ober{-}Bl{\"{o}}baum},
  title     = {Variational formulation and optimal control of hybrid lagrangian systems},
  booktitle = {{HSCC}},
  pages     = {241--250},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/FranzleHHWZ11,
  author    = {Martin Fr{\"{a}}nzle and
               Ernst Moritz Hahn and
               Holger Hermanns and
               Nicol{\'{a}}s Wolovick and
               Lijun Zhang},
  title     = {Measurability and safety verification for stochastic hybrid systems},
  booktitle = {{HSCC}},
  pages     = {43--52},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/GeilenTW11,
  author    = {Marc Geilen and
               Stavros Tripakis and
               Maarten Wiggers},
  title     = {The earlier the better: a theory of timed actor interfaces},
  booktitle = {{HSCC}},
  pages     = {23--32},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/KimMK11,
  author    = {Kyoung{-}Dae Kim and
               Sayan Mitra and
               P. R. Kumar},
  title     = {Computing bounded {\(\epsilon\)}-reach set with finite precision computations
               for a class of linear hybrid automata},
  booktitle = {{HSCC}},
  pages     = {113--122},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/LapinMW11,
  author    = {Maksim Lapin and
               Linar Mikeev and
               Verena Wolf},
  title     = {{SHAVE:} stochastic hybrid analysis of markov population models},
  booktitle = {{HSCC}},
  pages     = {311--312},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/LeBlancK11,
  author    = {Heath LeBlanc and
               Xenofon D. Koutsoukos},
  title     = {Consensus in networked multi-agent systems with adversaries},
  booktitle = {{HSCC}},
  pages     = {281--290},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/LeeD11,
  author    = {Ji{-}Woong Lee and
               Geir E. Dullerud},
  title     = {Joint synthesis of switching and feedback for linear systems in discrete
               time},
  booktitle = {{HSCC}},
  pages     = {201--210},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/LemmonH11,
  author    = {Michael D. Lemmon and
               Xiaobo Sharon Hu},
  title     = {Almost sure stability of networked control systems under exponentially
               bounded bursts of dropouts},
  booktitle = {{HSCC}},
  pages     = {301--310},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/MajumdarRT11,
  author    = {Rupak Majumdar and
               Elaine Render and
               Paulo Tabuada},
  title     = {Robust discrete synthesis against unspecified disturbances},
  booktitle = {{HSCC}},
  pages     = {211--220},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/ManamcheriMBC11,
  author    = {Karthik Manamcheri and
               Sayan Mitra and
               Stanley Bak and
               Marco Caccamo},
  title     = {A step towards verification and synthesis from simulink/stateflow
               models},
  booktitle = {{HSCC}},
  pages     = {317--318},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/Mitchell11,
  author    = {Ian M. Mitchell},
  title     = {Scalable calculation of reach sets and tubes for nonlinear systems
               with terminal integrators: a mixed implicit explicit formulation},
  booktitle = {{HSCC}},
  pages     = {103--112},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/NyFP11,
  author    = {Jerome Le Ny and
               Eric Feron and
               George J. Pappas},
  title     = {Resource constrained {LQR} control under fast sampling},
  booktitle = {{HSCC}},
  pages     = {271--280},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/Pappas11,
  author    = {George J. Pappas},
  title     = {Wireless control networks: modeling, synthesis, robustness, security},
  booktitle = {{HSCC}},
  pages     = {1--2},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/Platzer11,
  author    = {Andr{\'{e}} Platzer},
  title     = {Quantified differential invariants},
  booktitle = {{HSCC}},
  pages     = {63--72},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/PrabhakarV11,
  author    = {Pavithra Prabhakar and
               Mahesh Viswanathan},
  title     = {A dynamic algorithm for approximate flow computations},
  booktitle = {{HSCC}},
  pages     = {133--142},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/RoblesS11,
  author    = {Manuel Robles and
               Ricardo G. Sanfelice},
  title     = {Hybrid controllers for tracking of impulsive reference state trajectories:
               a hybrid exosystem approach},
  booktitle = {{HSCC}},
  pages     = {231--240},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/RoyTM11,
  author    = {Pritam Roy and
               Paulo Tabuada and
               Rupak Majumdar},
  title     = {Pessoa 2.0: a controller synthesis tool for cyber-physical systems},
  booktitle = {{HSCC}},
  pages     = {315--316},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/Sankaranarayanan11,
  author    = {Sriram Sankaranarayanan},
  title     = {Automatic abstraction of non-linear systems using change of bases
               transformations},
  booktitle = {{HSCC}},
  pages     = {143--152},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/SummersKLT11,
  author    = {Sean Summers and
               Maryam Kamgarpour and
               John Lygeros and
               Claire Tomlin},
  title     = {A stochastic reach-avoid problem with random obstacles},
  booktitle = {{HSCC}},
  pages     = {251--260},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/SundaramCVELP11,
  author    = {Shreyas Sundaram and
               Jian Chang and
               Krishna K. Venkatasubramanian and
               Chinwendu Enyioha and
               Insup Lee and
               George J. Pappas},
  title     = {Reputation-based networked control with data-corrupting channels},
  booktitle = {{HSCC}},
  pages     = {291--300},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/TanwaniSL11,
  author    = {Aneel Tanwani and
               Hyungbo Shim and
               Daniel Liberzon},
  title     = {Observability implies observer design for switched linear systems},
  booktitle = {{HSCC}},
  pages     = {3--12},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/TraversMP11,
  author    = {Matthew J. Travers and
               Todd D. Murphey and
               Lucy Y. Pao},
  title     = {Impulsive data association with an unknown number of targets},
  booktitle = {{HSCC}},
  pages     = {261--270},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/TumaPLS11,
  author    = {Tomas Tuma and
               Aggeliki Pantazi and
               John Lygeros and
               Abu Sebastian},
  title     = {Impulsive control for nanopositioning: stability and performance},
  booktitle = {{HSCC}},
  pages     = {173--180},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/hybrid/WongpiromsarnTOXM11,
  author    = {Tichakorn Wongpiromsarn and
               Ufuk Topcu and
               Necmiye Ozay and
               Huan Xu and
               Richard M. Murray},
  title     = {TuLiP: a software toolbox for receding horizon temporal logic planning},
  booktitle = {{HSCC}},
  pages     = {313--314},
  publisher = {{ACM}},
  year      = {2011}
}
@proceedings{DBLP:conf/hybrid/2011,
  editor    = {Marco Caccamo and
               Emilio Frazzoli and
               Radu Grosu},
  title     = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
               Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
               2011},
  publisher = {{ACM}},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics