The following pages link to Rafael Wisniewski (Q340657):
Displayed 42 items.
- Reachability and observability reduction for linear switched systems with constrained switching (Q340659) (← links)
- Complete abstractions of dynamical systems by timed automata (Q360650) (← links)
- Profit maximization of a power plant (Q386083) (← links)
- (Q591652) (redirect page) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Geometric analysis of nondeterminacy in dynamical systems (Q868434) (← links)
- Switched systems reduction framework based on convex combination of generalized gramians (Q983367) (← links)
- (Q1301431) (redirect page) (← links)
- Fully magnetic attitude control for spacecraft subject to gravity gradient (Q1301433) (← links)
- On robust stability of switched systems in the context of Filippov solutions (Q1690967) (← links)
- (Q1867403) (redirect page) (← links)
- Fuzzy controller for a system with uncertain load (Q1867404) (← links)
- Safety of stochastic systems: an analytic and computational approach (Q2065176) (← links)
- Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method (Q2178210) (← links)
- Model predictive control with fatigue-damage minimization through the dissipativity property of hysteresis operators (Q2198766) (← links)
- Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets (Q2252978) (← links)
- Local analysis of hybrid systems on polyhedral sets with state-dependent switching (Q2511766) (← links)
- Discussion on: `Optimal magnetic momentum control for inertially pointing spacecraft' (Q2512131) (← links)
- Almost global stability of nonlinear switched systems with mode-dependent and edge-dependent average dwell time (Q2665310) (← links)
- Toward model-based control of non-linear hydraulic networks (Q2971370) (← links)
- Model Reduction by Nice Selections for Linear Switched Systems (Q2980271) (← links)
- Converse Barrier Certificate Theorems (Q2980573) (← links)
- Compositional safety analysis using barrier certificates (Q2986748) (← links)
- Control to facet for polynomial systems (Q2986957) (← links)
- Safety Verification of Piecewise-Deterministic Markov Processes (Q2988991) (← links)
- Generalised gramian framework for model/controller order reduction of switched systems (Q3102827) (← links)
- Hybrid Control and Verification of a Pulsed Welding Process (Q3612985) (← links)
- Almost Global Stability of Nonlinear Switched Systems With Time-Dependent Switching (Q5125718) (← links)
- Fault tolerant distributed portfolio optimization in smart grids (Q5166424) (← links)
- Rotational motion control of a spacecraft (Q5266889) (← links)
- (Q5323115) (← links)
- (Q5323133) (← links)
- $p$-Safe Analysis of Stochastic Hybrid Processes (Q5853942) (← links)
- Balanced truncation for linear switched systems (Q5919156) (← links)
- Explicit construction of the minimum error variance estimator for stochastic LTI-ss systems (Q6110281) (← links)
- Probabilistic Safety Guarantees for Markov Decision Processes (Q6200001) (← links)
- Fatigue Estimation Methods Comparison for Wind Turbine Control (Q6256431) (← links)
- Moment matching for bilinear systems with nice selections (Q6273524) (← links)
- Optimization and Positivity Certificates of Rational Functions using Bernstein Form (Q6321090) (← links)
- Model reduction of linear hybrid systems (Q6336933) (← links)
- Safe Dynamic Programming (Q6377071) (← links)
- Algebraic Test for Asymptotic Stability of Periodic Orbits for Polynomial Systems (Q6385383) (← links)