Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/hybrid/AkbarpourP09,
  author    = {Behzad Akbarpour and
               Lawrence C. Paulson},
  title     = {Applications of MetiTarski in the Verification of Control and Hybrid
               Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {1--15},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/AmesSW09,
  author    = {Aaron D. Ames and
               Ryan W. Sinnet and
               Eric D. B. Wendel},
  title     = {Three-Dimensional Kneed Bipedal Walking: {A} Hybrid Geometric Approach},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {16--30},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/AminCS09,
  author    = {Saurabh Amin and
               Alvaro A. C{\'{a}}rdenas and
               Shankar Sastry},
  title     = {Safe and Secure Networked Control Systems under Denial-of-Service
               Attacks},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {31--45},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/BernardiniPBF09,
  author    = {Daniele Bernardini and
               David Mu{\~{n}}oz de la Pe{\~{n}}a and
               Alberto Bemporad and
               Emilio Frazzoli},
  title     = {Simultaneous Optimal Control and Discrete Stochastic Sensor Selection},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {61--75},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/BorriBB09,
  author    = {Alessandro Borri and
               Maria Domenica Di Benedetto and
               Maria{-}Gabriella Di Benedetto},
  title     = {Hybrid Modelling, Power Management and Stabilization of Cognitive
               Radio Networks},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {76--89},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/CaspiBLT09,
  author    = {Paul Caspi and
               Albert Benveniste and
               Roberto Lublinerman and
               Stavros Tripakis},
  title     = {Actors without Directors: {A} Kahnian View of Heterogeneous Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {46--60},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/CassezJLRR09,
  author    = {Franck Cassez and
               Jan Jakob Jessen and
               Kim Guldstrand Larsen and
               Jean{-}Fran{\c{c}}ois Raskin and
               Pierre{-}Alain Reynier},
  title     = {Automatic Synthesis of Robust and Optimal Controllers - An Industrial
               Case Study},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {90--104},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/CinquemaniMSL09,
  author    = {Eugenio Cinquemani and
               Andreas Milias{-}Argeitis and
               Sean Summers and
               John Lygeros},
  title     = {Local Identification of Piecewise Deterministic Models of Genetic
               Networks},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {105--119},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Cortes09,
  author    = {Jorge Cort{\'{e}}s},
  title     = {Distributed Wombling by Robotic Sensor Networks},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {120--134},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Davoren09,
  author    = {Jennifer M. Davoren},
  title     = {Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {135--149},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/DonkersHHWS09,
  author    = {M. C. F. Donkers and
               Laurentiu Hetel and
               W. P. M. H. Heemels and
               Nathan van de Wouw and
               Maarten Steinbuch},
  title     = {Stability Analysis of Networked Control Systems Using a Switched Linear
               Systems Approach},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {150--164},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/DonzeKR09,
  author    = {Alexandre Donz{\'{e}} and
               Bruce H. Krogh and
               Akshay Rajhans},
  title     = {Parameter Synthesis for Hybrid Systems with an Application to Simulink
               Models},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {165--179},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/FontanelliPP09,
  author    = {Daniele Fontanelli and
               Luigi Palopoli and
               Roberto Passerone},
  title     = {Convergence of Distributed {WSN} Algorithms: The Wake-Up Scattering
               Problem},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {180--193},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Grosu09,
  author    = {Radu Grosu},
  title     = {Finite Automata as Time-Inv Linear Systems Observability, Reachability
               and More},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {194--208},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/HanteL09,
  author    = {Falk M. Hante and
               G{\"{u}}nter Leugering},
  title     = {Optimal Boundary Control of Convention-Reaction Transport Systems
               with Binary Control Functions},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {209--222},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/JuliusP09,
  author    = {A. Agung Julius and
               George J. Pappas},
  title     = {Trajectory Based Verification Using Local Finite-Time Invariance},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {223--236},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/LazarJ09,
  author    = {Mircea Lazar and
               Andrej Jokic},
  title     = {Synthesis of Trajectory-Dependent Control Lyapunov Functions by a
               Single Linear Program},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {237--251},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Lee09,
  author    = {Ji{-}Woong Lee},
  title     = {Uniform Consensus among Self-driven Particles},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {252--261},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/MartiVB09,
  author    = {Pau Mart{\'{\i}} and
               Manel Velasco and
               Enrico Bini},
  title     = {The Optimal Boundary and Regulator Design Problem for Event-Driven
               Controllers},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {441--444},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/MartinE09,
  author    = {Patrick Martin and
               Magnus Egerstedt},
  title     = {Optimization of Multi-agent Motion Programs with Applications to Robotic
               Marionettes},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {262--275},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/MatringeMR09,
  author    = {Nadir Matringe and
               Arnaldo Vieira Moura and
               Rachid Rebiha},
  title     = {Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic
               Hybrid Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {445--449},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/NakamuraF09,
  author    = {Katsunori Nakamura and
               Akira Fusaoka},
  title     = {An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {450--454},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Nakura09,
  author    = {Gou Nakura},
  title     = {Stochastic Optimal Tracking with Preview for Linear Discrete-Time
               Markovian Jump Systems (Extended Abstract)},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {455--459},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/OehlerkingT09,
  author    = {Jens Oehlerking and
               Oliver E. Theel},
  title     = {Decompositional Construction of Lyapunov Functions for Hybrid Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {276--290},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/OrA09,
  author    = {Yizhar Or and
               Aaron D. Ames},
  title     = {Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian
               Hybrid Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {291--305},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Reissig09,
  author    = {Gunther Rei{\ss}ig},
  title     = {Computation of Discrete Abstractions of Arbitrary Memory Span for
               Nonlinear Sampled Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {306--320},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/RileyKR09,
  author    = {Derek Riley and
               Xenofon D. Koutsoukos and
               Kasandra Riley},
  title     = {Reachability Analysis for Stochastic Hybrid Systems Using Multilevel
               Splitting},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {460--464},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/RipaccioliBADCK09,
  author    = {Giulio Ripaccioli and
               Alberto Bemporad and
               Francis Assadian and
               Clement Dextreit and
               Stefano Di Cairano and
               Ilya V. Kolmanovsky},
  title     = {Hybrid Modeling, Identification, and Predictive Control: An Application
               to Hybrid Electric Vehicle Energy Management},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {321--335},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/SchildEL09,
  author    = {Axel Schild and
               Magnus Egerstedt and
               Jan Lunze},
  title     = {Orbital Control for a Class of Planar Impulsive Hybrid Systems with
               Controllable Resets},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {465--469},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/SchureskoC09,
  author    = {Michael Schuresko and
               Jorge Cort{\'{e}}s},
  title     = {Distributed Tree Rearrangements for Reachability and Robust Connectivity},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {470--474},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/SijsL09,
  author    = {Joris Sijs and
               Mircea Lazar},
  title     = {On Event Based State Estimation},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {336--350},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/TaringooC09,
  author    = {Farzin Taringoo and
               Peter E. Caines},
  title     = {The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect
               to Switching Manifold Parameters},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {475--479},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/TazakiI09,
  author    = {Yuichi Tazaki and
               Jun{-}ichi Imura},
  title     = {Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution
               Quantizer},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {351--365},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/VladimerouPVD09,
  author    = {Vladimeros Vladimerou and
               Pavithra Prabhakar and
               Mahesh Viswanathan and
               Geir E. Dullerud},
  title     = {{STORMED} Hybrid Games},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {480--484},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/Wang09,
  author    = {Farn Wang},
  title     = {Symbolic Branching Bisimulation-Checking of Dense-Time Systems in
               an Environment},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {485--489},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/WangL09,
  author    = {Xiaofeng Wang and
               Michael D. Lemmon},
  title     = {Event-Triggering in Distributed Networked Systems with Data Dropouts
               and Delays},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {366--380},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/WeissFAA09,
  author    = {Gera Weiss and
               Sebastian Fischmeister and
               Madhukar Anand and
               Rajeev Alur},
  title     = {Specification and Analysis of Network Resource Requirements of Control
               Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {381--395},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/WongpiromsarnMML09,
  author    = {Tichakorn Wongpiromsarn and
               Sayan Mitra and
               Richard M. Murray and
               Andrew G. Lamperski},
  title     = {Periodically Controlled Hybrid Systems},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {396--410},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/ZhangAH09,
  author    = {Wei Zhang and
               Alessandro Abate and
               Jianghai Hu},
  title     = {Stabilization of Discrete-Time Switched Linear Systems: {A} Control-Lyapunov
               Function Approach},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {411--425},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/hybrid/ZhengG09,
  author    = {Gang Zheng and
               Antoine Girard},
  title     = {Bounded and Unbounded Safety Verification Using Bisimulation Metrics},
  booktitle = {{HSCC}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  pages     = {426--440},
  publisher = {Springer},
  year      = {2009}
}
@proceedings{DBLP:conf/hybrid/2009,
  editor    = {Rupak Majumdar and
               Paulo Tabuada},
  title     = {Hybrid Systems: Computation and Control, 12th International Conference,
               {HSCC} 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5469},
  publisher = {Springer},
  year      = {2009}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics