Hybrid systems
From MaRDI portal
Publication:690305
DOI10.1007/3-540-57318-6zbMath0825.00044OpenAlexW4247437618MaRDI QIDQ690305
No author found.
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)
Related Items (51)
Adaptive hierarchical control of greenhouse crop production ⋮ Simulation of hybrid systems under Zeno behavior using numerical infinitesimals ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ A duration calculus with neighborhood modalities ⋮ Extending Hoare logic to real-time ⋮ Verification of Hybrid Systems ⋮ Necessary conditions for the optimality of the automaton part of a logical-dynamical system ⋮ Guaranteed recursive non-linear state bounding using interval analysis ⋮ An efficient unified approach for the numerical solution of delay differential equations ⋮ Toward unified analysis and controller synthesis for a class of hybrid systems ⋮ Modeling and analysis using hybrid Petri nets ⋮ Switched discrete-time systems with time-varying delays: A generalized \(\mathcal H_2\)-approach ⋮ Axiomatisation and decidability of multi-dimensional Duration Calculus ⋮ Stability analysis for autonomous dynamical switched systems through nonconventional Lyapunov functions ⋮ Duration calculus: Logical foundations ⋮ McNaughton games and extracting strategies for concurrent programs ⋮ Polynomial interrupt timed automata: verification and expressiveness ⋮ A logical DES approach to the design of hybrid control systems ⋮ Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems ⋮ Analysis and synthesis of linear hybrid systems with state-triggered jumps ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ Models for concurrent constraint programming ⋮ Induction in the timed interval calculus ⋮ Qualitative behavior of output for sampled-data feedback control systems ⋮ Optimal and suboptimal control of bundle of trajectories of deterministic logical-dynamical systems ⋮ Hybrid I/O automata. ⋮ Hybrid systems: Modelling and analysis using emergent dynamics ⋮ Supervisory control of hybrid systems within a behavioural framework ⋮ Universal computation and other capabilities of hybrid and continuous dynamical systems ⋮ An algebraic approach to hybrid systems ⋮ Finite divergence ⋮ Viability in hybrid systems ⋮ Metric temporal logic with durations ⋮ A Simulink-based software solution using the infinity computer methodology for higher order differentiation ⋮ Quasilinearization for the periodic boundary value problem for hybrid differential equation ⋮ Unnamed Item ⋮ Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions ⋮ Retracted: ``Multi-agent systems in control engineering: a survey ⋮ Process algebra for hybrid systems ⋮ Model checking restricted sets of timed paths ⋮ Global optimization of linear hybrid systems with explicit transitions ⋮ Output feedback control of switched nonlinear systems using multiple Lyapunov functions ⋮ A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems ⋮ Control design for autonomous vehicles: a dynamic optimization perspective ⋮ An optimal control approach for hybrid systems ⋮ Reasoning about goal-directed real-time teleo-reactive programs ⋮ Towards physical hybrid systems ⋮ Straightening out rectangular differential inclusions ⋮ Analytic machines ⋮ Analog computation with dynamical systems ⋮ Hybrid action systems
This page was built for publication: Hybrid systems
