Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Aneel Tanwani, Hyungbo Shim, Daniel Liberzon |
Observability implies observer design for switched linear systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pavithra Prabhakar, Mahesh Viswanathan 0001 |
A dynamic algorithm for approximate flow computations. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu, Marius C. Bujorianu |
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Ramanarayan Vasudevan, Ruzena Bajcsy |
Human-data based cost of bipedal robotic walking. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Robles, Ricardo G. Sanfelice |
Hybrid controllers for tracking of impulsive reference state trajectories: a hybrid exosystem approach. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar 0001 |
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler |
Amir Pnueli and the dawn of hybrid systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
hybrid systems |
1 | Sriram Sankaranarayanan 0001 |
Automatic invariant generation for hybrid systems using ideal fixed points. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
verification, hybrid systems, invariants, conservation laws, algebraic geometry |
1 | Branko Kerkez, Steven D. Glaser, John A. Dracup, Roger C. Bales |
A hybrid system model of seasonal snowpack water balance. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
snowmelt, hybrid systems, water resources, hydrology |
1 | Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski |
Timed I/O automata: a complete specification theory for real-time systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
specification theory, timed i/o automata, real-time, interfaces, refinement |
1 | Andrew B. Godbehere, S. Shankar Sastry |
Stabilization of planar switched linear systems using polar coordinates. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
stabilizability, switched linear systems |
1 | Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean |
Safe compositional network sketches: formal framework. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
modeling, design, verification, typing, compositionality |
1 | Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray |
Receding horizon control for temporal logic specifications. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
embedded control software, receding horizon control, linear temporal logic |
1 | Antoine Girard |
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
approximate bisimulation, abstraction, synthesis, safety, hybrid systems, switched systems |
1 | Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey |
Timed automata with observers under energy constraints. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
weighted timed automata, energy constraints |
1 | W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gielen, M. C. F. Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, Jamal Daafouz, Silviu-Iulian Niculescu |
Comparison of overapproximation methods for stability analysis of networked control systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
lmi, polytopic systems, stability, communication delays, networked control systems |
1 | Joris Sijs, Mircea Lazar, W. P. M. H. Heemels |
On integration of event-based estimation and robust MPC in a feedback loop. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
event-based control, event-based estimation, robust control, predictive control, networked control systems |
1 | Konstantinos Koutroumpas, John Lygeros |
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
hybrid input output automata, sthochastic hybrid systems, verfication, systems biology |
1 | Kerstin Bauer, Klaus Schneider 0001 |
From synchronous programs to symbolic representations of hybrid systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
symbolic representation of transition systems, hybrid systems, synchronous languages |
1 | P. S. Thiagarajan, Shaofa Yang |
Succinct discrete time approximations of distributed hybrid automata. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
discrete time approximation, distributed hybrid automata |
1 | Punyaslok Purkayastha, John S. Baras |
Convergence results for ant routing algorithms viastochastic approximation. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
ant routing algorithms, stochastic approximations and learning algorithms, queuing networks |
1 | Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy, Claire J. Tomlin |
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
constrained optimal control, switched hybrid systems |
1 | Anne-Kathrin Hess, Anders Rantzer |
Distributed Kalman Filter algorithms for self-localization of mobile devices. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
distributed Kalman Filters |
1 | Saurabh Amin, Xavier Litrico, Shankar Sastry 0001, Alexandre M. Bayen |
Stealthy deception attacks on water SCADA systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
secure control systems, switching pdes, water mangement |
1 | Paolo Zuliani, André Platzer, Edmund M. Clarke |
Bayesian statistical model checking with application to Simulink/Stateflow verification. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems |
1 | Eric D. B. Wendel, Aaron D. Ames |
Rank properties of poincare maps for hybrid systems with applications to bipedal walking. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
periodic orbits, poincare maps, robotic bipedal walking, hybrid systems |
1 | Mihály Petreczky, Laurent Bako, Jan H. van Schuppen |
Identifiability of discrete-time linear switched systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
linear switched systems, realization theory, structural identifiability, hybrid systems, identifiability |
1 | Mircea Lazar, Andrej Jokic |
On infinity norms as Lyapunov functions for piecewise affine systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
infinity norms, output feedback, stability, lyapunov methods, piecewise affine systems |
1 | Prapaporn Rattanatamrong, José A. B. Fortes |
Real-time scheduling of mixture-of-experts systems with limited resources. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
ensemble computing, prediction, real-time scheduling, sensitivity analysis, adaptive scheduling, mixture of experts |
1 | Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura |
Oscillation analysis of linearly coupled piecewise affine systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
linearly coupled array, systems biology, large scale systems, oscillation, piecewise affine systems |
1 | Vijay Gupta 0001 |
On a control algorithm for time-varying processor availability. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
control, anytime algorithms |
1 | Thao Dang 0001, Oded Maler, Romain Testylier |
Accurate hybridization of nonlinear systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
reachability computation, numerical analysis, non-linear systems |
1 | Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros |
On the connections between PCTL and dynamic programming. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
pctl, dynamic programming, markov processes, integral equation |
1 | Florian Kerber, Arjan van der Schaft |
Compositional analysis for linear control systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
linear systems, compositional reasoning, assume-guarantee reasoning, simulation relations |
1 | Karl Henrik Johansson, Wang Yi 0001 (eds.) |
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010 |
HSCC |
2010 |
DBLP BibTeX RDF |
|
1 | Truong Nghiem, Sriram Sankaranarayanan 0001, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas |
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
testing, robustness, hybrid systems, metric temporal logic |
1 | Jianghai Hu, Jinglai Shen, Wei Zhang 0013 |
A generating function approach to the stability of discrete-time switched linear systems. |
HSCC |
2010 |
DBLP DOI BibTeX RDF |
switched linear systems, generating functions, exponential stability |
1 | Jennifer M. Davoren |
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yizhar Or, Aaron D. Ames |
Existence of Periodic Orbits with Zeno Behavior in Completed Lagrangian Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
1 | Xiaofeng Wang 0007, Michael D. Lemmon |
Event-Triggering in Distributed Networked Systems with Data Dropouts and Delays. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto |
Hybrid Modelling, Power Management and Stabilization of Cognitive Radio Networks. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Axel Schild, Magnus Egerstedt, Jan Lunze |
Orbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhang 0013, Alessandro Abate, Jianghai Hu |
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joris Sijs, Mircea Lazar |
On Event Based State Estimation. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gou Nakura |
Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract). |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
Markovian jump systems, Stochastic optimization theory, Tracking control with preview, Coupled Riccati difference equations, Coupled feedforward compensators |
1 | Radu Grosu |
Finite Automata as Time-Inv Linear Systems Observability, Reachability and More. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel |
Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros |
Local Identification of Piecewise Deterministic Models of Genetic Networks. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
Piecewise deterministic systems, state-space identification, sampled systems, Markov processes, convex optimization |
1 | Saurabh Amin, Alvaro A. Cárdenas, Shankar Sastry 0001 |
Safe and Secure Networked Control Systems under Denial-of-Service Attacks. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Lazar, Andrej Jokic |
Synthesis of Trajectory-Dependent Control Lyapunov Functions by a Single Linear Program. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha |
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Tazaki, Jun-ichi Imura |
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur |
Specification and Analysis of Network Resource Requirements of Control Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans |
Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Bernardini 0001, David Muñoz de la Peña, Alberto Bemporad, Emilio Frazzoli |
Simultaneous Optimal Control and Discrete Stochastic Sensor Selection. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis |
Actors without Directors: A Kahnian View of Heterogeneous Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gunther Reißig |
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
powertrain control, hybrid electric vehicles, piecewise affine system identification, Hybrid systems, model predictive control, piecewise affine systems |
1 | Daniele Fontanelli, Luigi Palopoli 0002, Roberto Passerone |
Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | A. Agung Julius, George J. Pappas |
Trajectory Based Verification Using Local Finite-Time Invariance. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rupak Majumdar, Paulo Tabuada (eds.) |
Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan 0001, Geir E. Dullerud |
STORMED Hybrid Games. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Cortés 0001 |
Distributed Wombling by Robotic Sensor Networks. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jens Oehlerking, Oliver E. Theel |
Decompositional Construction of Lyapunov Functions for Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gang Zheng, Antoine Girard |
Bounded and Unbounded Safety Verification Using Bisimulation Metrics. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Martin 0003, Magnus Egerstedt |
Optimization of Multi-agent Motion Programs with Applications to Robotic Marionettes. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Falk M. Hante, Günter Leugering |
Optimal Boundary Control of Convention-Reaction Transport Systems with Binary Control Functions. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ji-Woong Lee |
Uniform Consensus among Self-driven Particles. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley |
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Katsunori Nakamura, Akira Fusaoka |
An Analysis of the Fuller Phenomenon on Transfinite Hybrid Automata. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Farzin Taringoo, Peter E. Caines |
The Sensitivity of Hybrid Systems Optimal Cost Functions with Respect to Switching Manifold Parameters. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
Hybrid Control Systems, Switching Manifolds, Optimal Control, Variational Methods |
1 | Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski |
Periodically Controlled Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Schuresko, Jorge Cortés 0001 |
Distributed Tree Rearrangements for Reachability and Robust Connectivity. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Behzad Akbarpour, Lawrence C. Paulson |
Applications of MetiTarski in the Verification of Control and Hybrid Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pau Martí, Manel Velasco, Enrico Bini |
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mihály Petreczky, René Vidal |
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Rodrigues Mesquita, João P. Hespanha 0001, Karl Åström 0001 |
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Sharon, Daniel Liberzon |
Input-to-State Stabilization with Quantized Output Feedback. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ji-Woong Lee |
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yuichi Tazaki, Jun-ichi Imura |
Bisimilar Finite Abstractions of Interconnected Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew G. Lamperski, Aaron D. Ames |
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manel Velasco, Pau Martí, Camilo Lozoya |
On the Timing of Discrete Events in Event-Driven Control Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Pasqualetti, Simone Martini 0002, Antonio Bicchi |
Steering a Leader-Follower Team Via Linear Consensus. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Holger Hermanns, Tino Teige |
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry 0001 |
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Generating Box Invariants. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Sumit Kumar Jha 0001, Bruce H. Krogh |
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli |
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry 0001 |
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | W. P. M. H. Heemels, M. Kanat Camlibel, Bernard Brogliato, Johannes M. Schumacher |
Observer-Based Control of Linear Complementarity Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Kumar Jha 0001 |
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bako, René Vidal |
Algebraic Identification of MIMO SARX Models. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Thao Dang 0001, Franjo Ivancic |
A Policy Iteration Technique for Time Elapse over Template Polyhedra. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch |
Complementarity Systems in Constrained Steady-State Optimal Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | YoungMin Kwon, Gul Agha |
LTLC: Linear Temporal Logic for Control. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore |
Co-simulation Tools for Networked Control Systems. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Sella, Pieter Collins |
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
van der Pol equation, hybrid automata, interval computation, symbolic dynamics |