default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. HSCC 2009: San Francisco, CA, USA
- Rupak Majumdar, Paulo Tabuada:
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Lecture Notes in Computer Science 5469, Springer 2009, ISBN 978-3-642-00601-2
Regular Papers
- Behzad Akbarpour, Lawrence C. Paulson
:
Applications of MetiTarski in the Verification of Control and Hybrid Systems. 1-15 - Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel:
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach. 16-30 - Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry:
Safe and Secure Networked Control Systems under Denial-of-Service Attacks. 31-45 - Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis:
Actors without Directors: A Kahnian View of Heterogeneous Systems. 46-60 - Daniele Bernardini, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli:
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection. 61-75 - Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto:
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. 76-89 - Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier:
Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. 90-104 - Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros:
Local Identification of Piecewise Deterministic Models of Genetic Networks. 105-119 - Jorge Cortés:
Distributed Wombling by Robotic Sensor Networks. 120-134 - Jennifer M. Davoren:
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. 135-149 - M. C. F. Donkers, Laurentiu Hetel, W. P. M. H. Heemels, Nathan van de Wouw, Maarten Steinbuch:
Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach. 150-164 - Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans:
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. 165-179 - Daniele Fontanelli, Luigi Palopoli, Roberto Passerone:
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. 180-193 - Radu Grosu:
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. 194-208 - Falk M. Hante, Günter Leugering:
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions. 209-222 - A. Agung Julius, George J. Pappas:
Trajectory Based Verification Using Local Finite-Time Invariance. 223-236 - Mircea Lazar, Andrej Jokic:
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. 237-251 - Ji-Woong Lee:
Uniform Consensus among Self-driven Particles. 252-261 - Patrick Martin, Magnus Egerstedt:
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. 262-275 - Jens Oehlerking, Oliver E. Theel:
Decompositional Construction of Lyapunov Functions for Hybrid Systems. 276-290 - Yizhar Or, Aaron D. Ames:
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. 291-305 - Gunther Reißig:
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. 306-320 - Giulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky:
Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy Management. 321-335 - Joris Sijs, Mircea Lazar:
On Event Based State Estimation. 336-350 - Yuichi Tazaki, Jun-ichi Imura:
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. 351-365 - Xiaofeng Wang, Michael D. Lemmon:
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays. 366-380 - Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems. 381-395 - Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski:
Periodically Controlled Hybrid Systems. 396-410 - Wei Zhang, Alessandro Abate, Jianghai Hu:
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. 411-425 - Gang Zheng, Antoine Girard:
Bounded and Unbounded Safety Verification Using Bisimulation Metrics. 426-440
Short Papers
- Pau Martí, Manel Velasco, Enrico Bini:
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. 441-444 - Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha:
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. 445-449 - Katsunori Nakamura, Akira Fusaoka:
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. 450-454 - Gou Nakura:
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). 455-459 - Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. 460-464 - Axel Schild, Magnus Egerstedt, Jan Lunze:
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. 465-469 - Michael Schuresko, Jorge Cortés:
Distributed Tree Rearrangements for Reachability and Robust Connectivity. 470-474 - Farzin Taringoo, Peter E. Caines:
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters. 475-479 - Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud:
STORMED Hybrid Games. 480-484 - Farn Wang:
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. 485-489
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.
last updated on 2024-09-22 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
