Hybrid systems
From MaRDI portal
Publication:690305
DOI10.1007/3-540-57318-6zbMATH Open0825.00044OpenAlexW4247437618MaRDI QIDQ690305FDOQ690305
Authors:
Publication date: 17 November 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-57318-6
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (62)
- Analog computation with dynamical systems
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions
- Analysis and synthesis of linear hybrid systems with state-triggered jumps
- Induction in the timed interval calculus
- Necessary conditions for the optimality of the automaton part of a logical-dynamical system
- An efficient unified approach for the numerical solution of delay differential equations
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems
- Extending Hoare logic to real-time
- Hybrid I/O automata.
- Retracted: ``Multi-agent systems in control engineering: a survey
- A logical DES approach to the design of hybrid control systems
- Toward unified analysis and controller synthesis for a class of hybrid systems
- Simulation of hybrid systems under Zeno behavior using numerical infinitesimals
- Title not available (Why is that?)
- A Simulink-based software solution using the infinity computer methodology for higher order differentiation
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Process algebra for hybrid systems
- Analytic machines
- Supervisory control of hybrid systems within a behavioural framework
- Reasoning about goal-directed real-time teleo-reactive programs
- Duration calculus: Logical foundations
- Special issue on Hybrid systems
- Control design for autonomous vehicles: a dynamic optimization perspective
- Verification of Hybrid Systems
- Qualitative behavior of output for sampled-data feedback control systems
- Global optimization of linear hybrid systems with explicit transitions
- An algebraic approach to hybrid systems
- 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
- An optimal control approach for hybrid systems
- Straightening out rectangular differential inclusions
- 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
- Polynomial interrupt timed automata: verification and expressiveness
- Towards physical hybrid systems
- Hybrid action systems
- 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
- Models for concurrent constraint programming
- Switched discrete-time systems with time-varying delays: A generalized \(\mathcal H_2\)-approach
- Finite divergence
- Metric temporal logic with durations
- Viability in hybrid systems
- Modeling and analysis using hybrid Petri nets
- Design of controllers for linear hybrid systems
- On the design of hybrid control systems using automata models
- Development of safety-critical real-time systems
- Robust \(H_\infty\) control of uncertain impulsive switched systems
- Design of smooth hybrid controllers for a class of non-linear systems
- Title not available (Why is that?)
- A duration calculus with neighborhood modalities.
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)