Cited in
(62)- Modeling and analysis using hybrid Petri nets
- Analog computation with dynamical systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Analysis and synthesis of linear hybrid systems with state-triggered jumps
- Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions
- Design of controllers for linear hybrid systems
- Induction in the timed interval calculus
- On the design of hybrid control systems using automata models
- Necessary conditions for the optimality of the automaton part of a logical-dynamical system
- Development of safety-critical real-time systems
- Robust \(H_\infty\) control of uncertain impulsive switched systems
- An efficient unified approach for the numerical solution of delay differential equations
- Extending Hoare logic to real-time
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
- Retracted: ``Multi-agent systems in control engineering: a survey
- Hybrid I/O automata.
- Toward unified analysis and controller synthesis for a class of hybrid systems
- A logical DES approach to the design of hybrid control systems
- Simulation of hybrid systems under Zeno behavior using numerical infinitesimals
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- scientific article; zbMATH DE number 1617300 (Why is no real title available?)
- A Simulink-based software solution using the infinity computer methodology for higher order differentiation
- Process algebra for hybrid systems
- Analytic machines
- Reasoning about goal-directed real-time teleo-reactive programs
- Supervisory control of hybrid systems within a behavioural framework
- Duration calculus: Logical foundations
- Design of smooth hybrid controllers for a class of non-linear systems
- Special issue on Hybrid systems
- Control design for autonomous vehicles: a dynamic optimization perspective
- Qualitative behavior of output for sampled-data feedback control systems
- Verification of Hybrid Systems
- An algebraic approach to hybrid systems
- Global optimization of linear hybrid systems with explicit transitions
- Model checking restricted sets of timed paths
- Zeno hybrid systems
- Quasilinearization for the periodic boundary value problem for hybrid differential equation
- Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems
- Hybrid systems on time scales
- McNaughton games and extracting strategies for concurrent programs
- Guaranteed recursive non-linear state bounding using interval analysis
- Hybrid Systems with Constraints
- Optimal and suboptimal control of bundle of trajectories of deterministic logical-dynamical systems
- Straightening out rectangular differential inclusions
- An optimal control approach for hybrid systems
- Stability analysis for autonomous dynamical switched systems through nonconventional Lyapunov functions
- Hybrid systems: Modelling and analysis using emergent dynamics
- Universal computation and other capabilities of hybrid and continuous dynamical systems
- scientific article; zbMATH DE number 7533351 (Why is no real title available?)
- Polynomial interrupt timed automata: verification and expressiveness
- Hybrid action systems
- Towards physical hybrid systems
- A duration calculus with neighborhood modalities.
- Bellerophon: tactical theorem proving for hybrid systems
- Adaptive hierarchical control of greenhouse crop production
- A mixed neutral system
- Output feedback control of switched nonlinear systems using multiple Lyapunov functions
- Finite divergence
- Metric temporal logic with durations
- Viability in hybrid systems
- Switched discrete-time systems with time-varying delays: A generalized \(\mathcal H_2\)-approach
- Models for concurrent constraint programming
This page was built for publication: Hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690305)
