Simulation of Zeno hybrid automata

No abstract is available for this paper.

• Publication year

  1999

• Venue

  Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304)

• Publication date

  1999-12-07

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/CDC.1999.827900
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On the regularization of Zeno hybrid automata

  1999cited by this paper
• On the existence of executions of hybrid automata

  1999cited by this paper
• Controllers for reachability specifications for hybrid systems

  1999cited by this paper
• The SHIFT programming language for dynamic networks of hybrid automata

  1998cited by this paper
• Uniqueness of solutions of relay systems

  1997cited by this paper
• Sliding Mode Model Semantics and Simulation for Hybrid Systems

  1997cited by this paper
• Modularity for Timed and Hybrid Systems

  1997cited by this paper
• On Object-Oriented Modelling of Relays and Sliding Mode Behaviour

  1996cited by this paper
• On the Power of Non-Observable Actions in Timed Automata

  1996cited by this paper
• The theory of hybrid automata

  1996cited by this paper
• A unified framework for hybrid control

  1994cited by this paper
• Object-Oriented Modeling and Simulation of Hybrid Systems

  1994cited by this paper
• Object-Oriented Modelling and Simulation

  1993cited by this paper
• Automata For Modeling Real-Time Systems

  1990cited by this paper
• Differential Equations with Discontinuous Righthand Sides

  1988cited by this paper

• Reset control systems: the zero-crossing resetting law

  2021cites this paper
• Non-Standard Analysis for Regularization of Geometric-Zeno Behaviour in Hybrid Systems

  2020cites this paper
• The probabilistic convolution regularization of Zeno hybrid systems

  2019influential citation
• Event-triggered variable structure control

  2019influential citation
• Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems

  2019cites this paper
• A Hybrid Fuzzy Petri Nets and Neural Networks Framework for Modeling Critical Infrastructure Systems

  2018cites this paper
• Analysis and Synthesis of Reset Control Systems

  2018cites this paper
• Event-Triggered Sliding Mode Control Strategies for a Class of Nonlinear Uncertain Systems

  2018cites this paper
• Pointwise Asymptotic Stability in a Hybrid System and Well-Posed Behavior Beyond Zeno

  2018cites this paper
• Robust event-triggered output feedback controllers for nonlinear systems

  2017cites this paper
• Dealing with Complexity through Advanced Control Techniques

  2017cites this paper
• Morphogenesis modelization of a fractone-based model

  2016cites this paper
• How well-posedness of hybrid systems can extend beyond Zeno times

  2016cites this paper
• Output feedback event-triggered control

  2016cites this paper
• Curriculum Vitae of Karl Henrik Johansson

  2016cites this paper
• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

  2016cites this paper
• From non-zenoness verification to termination

  2015cites this paper
• Formal property verification in a conformance testing framework

  2014cites this paper
• Stabilization of nonlinear systems using event-triggered output feedback laws

  2014cites this paper
• Stabilization of Nonlinear Systems Using Event-Triggered Output Feedback Controllers

  2014cites this paper
• Conformance Testing as Falsification for Cyber-Physical Systems

  2014cites this paper
• Graph-based field automata for modeling of sliding mode systems

  2014cites this paper
• A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox

  2013cites this paper
• Enclosing the behavior of a hybrid system up to and beyond a Zeno point

  2013cites this paper
• Observability and Distinguishability Properties and Stability of Arbitrarily Fast Switched Systems

  2013cites this paper
• Lyapunov Theory for Zeno Stability

  2013cites this paper
• Zeno behavior in electromechanical hybrid systems: From theory to experimental validation

  2012cites this paper
• From hybrid data-flow languages to hybrid automata: a complete translation

  2012cites this paper
• On modeling of fuzzy hybrid systems

  2012cites this paper
• Discussion about sliding mode algorithms, Zeno phenomena and observability

  2011cites this paper
• Analytical and numerical Lyapunov functions for SISO linear control systems with first‐order reset elements

  2011cites this paper
• Network-Level Control of Collaborative UAVs

  2011cites this paper
• Hierarchies, spikes, and hybrid systems : physiologically inspired control problems

  2011cites this paper
• A heuristic method to minimise the chattering problem in dynamic mathematical two-phase flow models

  2011cites this paper
• Reset passivation of nonlinear controllers via a suitable time-regular reset map

  2011cites this paper
• Stability and Performance of SISO Control Systems With First-Order Reset Elements

  2011cites this paper
• Predicting Events for the Simulation of Hybrid Systems

  2010cites this paper
• Dynamical properties of hybrid systems simulators

  2010cites this paper
• A traveller's problem

  2010cites this paper
• RESULTS ON PASSIFICATION OF NONLINEAR CONTROLLERS VIA A SUITABLE TIME-REGULAR RESET MAP

  2010cites this paper
• Path planning with spatial and temporal constraints

  2010cites this paper
• Sur la stabilité des systèmes à réinitialisation

  2010cites this paper
• Analyse et commande des systèmes non linéaires complexes : application aux systèmes dynamiques à commutation

  2009cites this paper
• Zeno behavior in homogeneous hybrid systems

  2008cites this paper
• Hybrid Systems: Modeling, Analysis and Control

  2008cites this paper
• Robust hybrid source-seeking algorithms based on directional derivatives and their approximations

  2008cites this paper
• Lyapunov characterization of Zeno behavior in hybrid systems

  2008cites this paper
• Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework

  2008influential citation
• Stability properties of reset systems

  2008cites this paper
• Analysis and Application of Bifurcations in Systems with Impacts and Chattering.

  2008cites this paper
• Analyse statique par interprétation abstraite de systèmes hybrides

  2008cites this paper
• Dynamic information handling in continuous time Boolean Network model of gene interactions

  2008cites this paper
• Hybrid dynamical systems with controlled discrete transitions

  2007cites this paper
• State based control of timed discrete event systems using binary decision diagrams

  2007cites this paper
• Generalized solutions in systems with active unilateral constraints

  2007cites this paper
• ON SIMULATION OF ZENO HYBRID SYSTEMS

  2007cites this paper
• Sufficient conditions for the existence of zeno behavior in a class of nonlinear hybrid systems via constant approximations

  2007cites this paper
• Verification of rectangular hybrid automata models

  2006cites this paper
• Beyond Zeno: Get on with It!

  2006cites this paper
• Is there life after Zeno? Taking executions past the breaking (Zeno) point

  2006cites this paper
• Explicit Lyapunov functions for stability and performance characterizations of FOREs connected to an integrator

  2006cites this paper
• Hybrid Techniques for Hybrid Systems

  2006influential citation
• Control of sampled-data systems with variable sampling rate

  2006cites this paper
• Simulating Zeno Hybrid Systems Beyond Their Zeno Points

  2006cites this paper
• On the Stability of Zeno Equilibria

  2006cites this paper
• Sufficient Conditions for the Existence of Zeno Behavior

  2005cites this paper
• Operational Semantics of Hybrid Systems

  2005influential citation
• A survey on piecewise-linear models of regulatory dynamical systems

  2005cites this paper
• First order reset elements and the Clegg integrator revisited

  2005cites this paper
• Analyse Algorithmique des Systèmes Hybrides

  2004cites this paper
• Blowing up affine hybrid systems

  2004cites this paper
• Lecture Notes on Hybrid Systems

  2004cites this paper
• A time-stepping method for relay systems-Decision and Control, 2000. Proceedings of the 39th IEEE Conference on

  2004cites this paper
• Hybrid UML-based State Machines in Open ebXML Graduation Thesis

  2003cites this paper
• On solution concepts and well-posedness of linear relay systems

  2003influential citation
• An adjustable aperiodic model class of genomic interactions using continuous time Boolean networks (Boolean delay equations).

  2003cites this paper
• Dynamical properties of hybrid automata

  2003cites this paper
• Development of a Simulator of a Class of Piecewise Affine Systems

  2003cites this paper
• ADAPTIVE FUZZY PETRI NETS FOR SUPERVISORY HYBRID SYSTEMS MODELING

  2002cites this paper
• An ODE solver for constrained state spaces: with applications to hybrid-system simulations

  2002cites this paper
• Hybrid Modeling of Communication Networks Using Modelica

  2002cites this paper
• Solution concepts for hybrid dynamical systems

  2002cites this paper
• Chatter, Sticking and Chaotic Impacting Motion in a Two-Degree of Freedom Impact oscillator

  2001cites this paper
• Zeno hybrid systems

  2001cites this paper
• Continuity and invariance in hybrid automata

  2001cites this paper
• On event driven simulation of electrical circuits with ideal diodes

  2001cites this paper
• On Well-Posedness of Relay Systems

  2001cites this paper
• A time-stepping method for relay systems

  2000cites this paper
• Hybrid automata: a formal paradigm for heterogeneous modeling

  2000cites this paper
• A Formal Paradigm for Heterogeneous Modeling

  2000cites this paper
• Towards a Geometric Theory of Hybrid Systems

  2000cites this paper
• Dynamical Systems Revisited: Hybrid Systems with Zeno Executions

  2000cites this paper
• Lecture 9 Modeling: Abstraction, Zenoness, and Formal Semantics

  2000cites this paper
• AN INTRODUCTION TO HYBRID SYSTEM MODELING ANALYSIS AND CONTROL JOHN LYGEROS GEORGE PAPPAS AND SHANKAR SASTRY

  1999cites this paper
• On the existence of executions of hybrid automata

  1999cites this paper
• On the regularization of Zeno hybrid automata

  1999cites this paper
• Timed binary decision diagrams

  1997cites this paper
• Lecture 4 Zeno Hybrid Automata Zeno Hybrid Automata

  year unknowncites this paper
• Please Scroll down for Article International Journal of Control Control of Quantized Systems Based on Discrete Event Models Control of Quantized Systems Based on Discrete Event Models

  year unknowncites this paper