The following pages link to Hybrid systems (Q690305):
Displaying 50 items.
- Analysis and synthesis of linear hybrid systems with state-triggered jumps (Q397177) (← links)
- Universal computation and other capabilities of hybrid and continuous dynamical systems (Q673870) (← links)
- An algebraic approach to hybrid systems (Q673873) (← links)
- Finite divergence (Q673876) (← links)
- Viability in hybrid systems (Q673878) (← links)
- Metric temporal logic with durations (Q673880) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- An efficient unified approach for the numerical solution of delay differential equations (Q849284) (← links)
- Toward unified analysis and controller synthesis for a class of hybrid systems (Q854127) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Retracted: ``Multi-agent systems in control engineering: a survey'' (Q983366) (← links)
- Straightening out rectangular differential inclusions (Q1274877) (← links)
- Analytic machines (Q1292402) (← links)
- Extending Hoare logic to real-time (Q1346769) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- Qualitative behavior of output for sampled-data feedback control systems (Q1410907) (← links)
- Hybrid I/O automata. (Q1427865) (← links)
- Analog computation with dynamical systems (Q1586961) (← links)
- Stability analysis for autonomous dynamical switched systems through nonconventional Lyapunov functions (Q1665834) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Quasilinearization for the periodic boundary value problem for hybrid differential equation (Q1767461) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Hybrid action systems (Q1853618) (← links)
- McNaughton games and extracting strategies for concurrent programs (Q1919769) (← links)
- A logical DES approach to the design of hybrid control systems (Q1922193) (← links)
- Limit cycle synthesis of multi-modal and 2-dimensional piecewise affine systems (Q1930962) (← links)
- Optimal and suboptimal control of bundle of trajectories of deterministic logical-dynamical systems (Q1956926) (← links)
- Supervisory control of hybrid systems within a behavioural framework (Q1978485) (← links)
- Synthesis of logical-dynamical systems on the basis of sufficient optimality conditions (Q2017554) (← links)
- Simulation of hybrid systems under Zeno behavior using numerical infinitesimals (Q2137361) (← links)
- A Simulink-based software solution using the infinity computer methodology for higher order differentiation (Q2244122) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Necessary conditions for the optimality of the automaton part of a logical-dynamical system (Q2378009) (← links)
- Switched discrete-time systems with time-varying delays: A generalized \(\mathcal H_2\)-approach (Q2389079) (← links)
- Hybrid systems: Modelling and analysis using emergent dynamics (Q2460412) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Global optimization of linear hybrid systems with explicit transitions (Q2503594) (← links)
- Output feedback control of switched nonlinear systems using multiple Lyapunov functions (Q2504617) (← links)
- Control design for autonomous vehicles: a dynamic optimization perspective (Q2512146) (← links)
- An optimal control approach for hybrid systems (Q2512302) (← links)
- Modeling and analysis using hybrid Petri nets (Q2643424) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Adaptive hierarchical control of greenhouse crop production (Q2893354) (← links)
- A duration calculus with neighborhood modalities (Q2901191) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Guaranteed recursive non-linear state bounding using interval analysis (Q4545943) (← links)
- (Q5079750) (← links)
- A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems (Q5958118) (← links)