Regular Papers |
|
|
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems |
|
|
1 | (15) |
|
|
|
|
|
Co-simulation Tools for Networked Control Systems |
|
|
16 | (14) |
|
|
|
|
On the Maximum Principle for Impulsive Hybrid Systems |
|
|
30 | (13) |
|
|
|
|
Algebraic Identification of MIMO SARX Models |
|
|
43 | (15) |
|
|
|
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System |
|
|
58 | (14) |
|
|
|
|
A.L. Sangiovanni Vincentelli |
|
|
Controller Synthesis with Budget Constraints |
|
|
72 | (15) |
|
|
|
|
Trading Infinite Memory for Uniform Randomness in Timed Games |
|
|
87 | (14) |
|
|
|
|
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components |
|
|
101 | (15) |
|
|
|
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions |
|
|
116 | (14) |
|
|
|
A Control Lyapunov Approach to Predictive Control of Hybrid Systems |
|
|
130 | (14) |
|
|
|
|
|
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems |
|
|
144 | (14) |
|
|
|
|
|
Anytime Control Algorithms for Embedded Real-Time Systems |
|
|
158 | (14) |
|
|
|
|
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems |
|
|
172 | (15) |
|
|
|
|
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata |
|
|
187 | (14) |
|
|
|
|
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems |
|
|
201 | (14) |
|
|
|
|
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis |
|
|
215 | (14) |
|
|
|
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes |
|
|
229 | (15) |
|
|
|
|
|
|
|
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains |
|
|
244 | (15) |
|
|
|
|
Observer-Based Control of Linear Complementarity Systems |
|
|
259 | (14) |
|
|
|
|
|
Complementarity Systems in Constrained Steady-State Optimal Control |
|
|
273 | (14) |
|
|
|
|
Dealing with Nondeterminism in Symbolic Control |
|
|
287 | (14) |
|
|
|
Safety and Liveness in Intelligent Intersections |
|
|
301 | (15) |
|
|
|
|
LTLC: Linear Temporal Logic for Control |
|
|
316 | (14) |
|
|
|
Switched and PieceWise Nonlinear Hybrid System Identification |
|
|
330 | (14) |
|
|
|
Verification of Supervisory Control Software Using State Proximity and Merging |
|
|
344 | (14) |
|
|
|
|
|
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements |
|
|
358 | (14) |
|
|
|
|
Noncausal Optimal Tracking of Linear Switched Systems |
|
|
372 | (14) |
|
|
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems |
|
|
386 | (15) |
|
|
|
A Decidable Class of Planar Linear Hybrid Systems |
|
|
401 | (14) |
|
|
|
|
|
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization |
|
|
415 | (14) |
|
|
|
|
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process |
|
|
429 | (14) |
|
|
|
|
Distributed Lyapunov Functions in Analysis of Graph Models of Software |
|
|
443 | (14) |
|
|
|
|
|
On the Optimality of Dubins Paths across Heterogeneous Terrain |
|
|
457 | (14) |
|
|
|
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems |
|
|
471 | (15) |
|
|
|
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata |
|
|
486 | (14) |
|
|
|
Input-to-State Stabilization with Quantized Output Feedback |
|
|
500 | (14) |
|
|
|
Bisimilar Finite Abstractions of Interconnected Systems |
|
|
514 | (14) |
|
|
|
On Controllability of Timed Continuous Petri Nets |
|
|
528 | (14) |
|
|
|
|
|
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications |
|
|
542 | (14) |
|
|
|
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems |
|
|
556 | (14) |
|
|
Composition of Motion Description Languages |
|
|
570 | (14) |
|
|
|
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems |
|
|
584 | (14) |
|
|
|
|
|
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps |
|
|
598 | (4) |
|
|
|
|
|
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries |
|
|
602 | (4) |
|
|
|
|
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems |
|
|
606 | (4) |
|
|
|
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control |
|
|
610 | (4) |
|
|
|
|
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems |
|
|
614 | (4) |
|
|
|
|
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata |
|
|
618 | (4) |
|
|
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems |
|
|
622 | (4) |
|
|
|
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time |
|
|
626 | (4) |
|
|
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics |
|
|
630 | (4) |
|
|
|
Approximate Control Design for Solar Driven Sensor Nodes |
|
|
634 | (4) |
|
|
|
|
|
Modular Development of Hybrid Systems for Verification in Coq |
|
|
638 | (4) |
|
|
|
Steering a Leader-Follower Team Via Linear Consensus |
|
|
642 | (4) |
|
|
|
|
Logical Verification and Systematic Parametric Analysis in Train Control |
|
|
646 | (4) |
|
|
|
Information Theoretical Approach to Identification of Hybrid Systems |
|
|
650 | (4) |
|
|
|
|
A Policy Iteration Technique for Time Elapse over Template Polyhedra (Extended Abstract) |
|
|
654 | (4) |
|
|
|
|
Generating Box Invariants |
|
|
658 | (4) |
|
|
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles |
|
|
662 | (4) |
|
|
|
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates |
|
|
666 | (4) |
|
|
|
On the Timing of Discrete Events in Event-Driven Control Systems |
|
|
670 | (4) |
|
|
|
|
Decentralized Event-Triggered Broadcasts over Networked Control Systems |
|
|
674 | (5) |
|
|
Author Index |
|
679 | |