Abstract is missing.
- Applications of MetiTarski in the Verification of Control and Hybrid SystemsBehzad Akbarpour, Lawrence C. Paulson. 1-15 [doi]
- Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric ApproachAaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel. 16-30 [doi]
- Safe and Secure Networked Control Systems under Denial-of-Service AttacksSaurabh Amin, Alvaro A. Cárdenas, Shankar Sastry. 31-45 [doi]
- Actors without Directors: A Kahnian View of Heterogeneous SystemsPaul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis. 46-60 [doi]
- Simultaneous Optimal Control and Discrete Stochastic Sensor SelectionDaniele Bernardini, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli. 61-75 [doi]
- Hybrid Modelling, Power Management and Stabilization of Cognitive Radio NetworksAlessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto. 76-89 [doi]
- Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case StudyFranck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier. 90-104 [doi]
- Local Identification of Piecewise Deterministic Models of Genetic NetworksEugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros. 105-119 [doi]
- Distributed Wombling by Robotic Sensor NetworksJorge Cortés. 120-134 [doi]
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths SpacesJennifer M. Davoren. 135-149 [doi]
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems ApproachM. C. F. Donkers, L. Hetel, W. P. M. H. Heemels, Nathan van de Wouw, M. Steinbuch. 150-164 [doi]
- Parameter Synthesis for Hybrid Systems with an Application to Simulink ModelsAlexandre Donzé, Bruce H. Krogh, Akshay Rajhans. 165-179 [doi]
- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering ProblemDaniele Fontanelli, Luigi Palopoli, Roberto Passerone. 180-193 [doi]
- Finite Automata as Time-Inv Linear Systems Observability, Reachability and MoreRadu Grosu. 194-208 [doi]
- Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control FunctionsFalk M. Hante, Günter Leugering. 209-222 [doi]
- Trajectory Based Verification Using Local Finite-Time InvarianceA. Agung Julius, George J. Pappas. 223-236 [doi]
- Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear ProgramMircea Lazar, Andrej Jokic. 237-251 [doi]
- Uniform Consensus among Self-driven ParticlesJi-Woong Lee. 252-261 [doi]
- Optimization of Multi-agent Motion Programs with Applications to Robotic MarionettesPatrick Martin, Magnus Egerstedt. 262-275 [doi]
- Decompositional Construction of Lyapunov Functions for Hybrid SystemsJens Oehlerking, Oliver E. Theel. 276-290 [doi]
- Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid SystemsYizhar Or, Aaron D. Ames. 291-305 [doi]
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled SystemsGunther Reißig. 306-320 [doi]
- Hybrid Modeling, Identification, and Predictive Control: An Application to Hybrid Electric Vehicle Energy ManagementGiulio Ripaccioli, Alberto Bemporad, Francis Assadian, Clement Dextreit, Stefano Di Cairano, Ilya V. Kolmanovsky. 321-335 [doi]
- On Event Based State EstimationJoris Sijs, Mircea Lazar. 336-350 [doi]
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution QuantizerYuichi Tazaki, Jun-ichi Imura. 351-365 [doi]
- Event-Triggering in Distributed Networked Systems with Data Dropouts and DelaysXiaofeng Wang, Michael D. Lemmon. 366-380 [doi]
- Specification and Analysis of Network Resource Requirements of Control SystemsGera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur. 381-395 [doi]
- Periodically Controlled Hybrid SystemsTichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski. 396-410 [doi]
- Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function ApproachWei Zhang, Alessandro Abate, Jianghai Hu. 411-425 [doi]
- Bounded and Unbounded Safety Verification Using Bisimulation MetricsGang Zheng, Antoine Girard. 426-440 [doi]
- The Optimal Boundary and Regulator Design Problem for Event-Driven ControllersPau Martí, Manel Velasco, Enrico Bini. 441-444 [doi]
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid SystemsNadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha. 445-449 [doi]
- An Analysis of the Fuller Phenomenon on Transfinite Hybrid AutomataKatsunori Nakamura, Akira Fusaoka. 450-454 [doi]
- Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract)Gou Nakura. 455-459 [doi]
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel SplittingDerek Riley, Xenofon D. Koutsoukos, Kasandra Riley. 460-464 [doi]
- Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable ResetsAxel Schild, Magnus Egerstedt, Jan Lunze. 465-469 [doi]
- Distributed Tree Rearrangements for Reachability and Robust ConnectivityMichael Schuresko, Jorge Cortés. 470-474 [doi]
- The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold ParametersFarzin Taringoo, Peter E. Caines. 475-479 [doi]
- STORMED Hybrid GamesVladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir E. Dullerud. 480-484 [doi]
- Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an EnvironmentFarn Wang. 485-489 [doi]