Rafael Wisniewski

104 papers A* 1C 18Journal 31Unranked 51

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Safety Robustness for Time-Inhomogeneous Markov Chains. CDC Manuela-Luminita Bujorianu, Rafael Wisniewski
2024	A*	`conf`	PAC-Bayes Generalisation Bounds for Dynamical Systems including Stable RNNs. AAAI Deividas Eringis, John Leth, Zheng-Hua Tan, Rafael Wisniewski, Mihály Petreczky
2023	—	`conf`	From MDP to POMDP and Back: Safety and Compositionality. ECC Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski
2023	J	`jnl`	PAC-Bayesian bounds for learning LTI-ss systems with input from empirical loss. CoRR Deividas Eringis, John Leth, Zheng-Hua Tan, Rafael Wisniewski, Mihály Petreczky
2023	—	`conf`	Secure PAC Bayesian Regression via Real Shamir Secret Sharing. ECC Jaron Skovsted Gundersen, Bulut Kuskonmaz, Rafael Wisniewski
2022	J	`jnl`	Safe Reinforcement Learning Using Wasserstein Distributionally Robust MPC and Chance Constraint. IEEE Access Arash Bahari Kordabad, Rafael Wisniewski, Sebastien Gros
2022	—	`conf`	Stochastic Safety in Space Conjunctions. CDC Aitor R. Gómez, Rafael Wisniewski
2021	C	`conf`	Model reduction for linear switched systems with autonomous switching. ACC Mihály Petreczky, John Leth, Rasmus Pedersen, Rafael Wisniewski
2021	J	`jnl`	Privacy in Distributed Computations based on Real Number Secret Sharing. CoRR Katrine Tjell, Rafael Wisniewski
2021	J	`jnl`	Private Aggregation With Application to Distributed Optimization. IEEE Control. Syst. Lett. Katrine Tjell, Rafael Wisniewski
2021	C	`conf`	Private Aggregation with Application to Distributed Optimization. ACC Katrine Tjell, Rafael Wisniewski
2021	J	`jnl`	Secure PAC Bayesian Regression via Real Shamir Secret Sharing. CoRR Jaron Skovsted Gundersen, Bulut Kuskonmaz, Rafael Wisniewski
2021	J	`jnl`	Stochastic Safety for Markov Chains. IEEE Control. Syst. Lett. Manuela-Luminita Bujorianu, Rafael Wisniewski, Evangelos Boulougouris
2021	—	`conf`	Weak Safe Reachability for Nonlinear Systems with State-Dependent Switching. CDC Aysegül Kivilcim, Rafael Wisniewski
2020	J	`jnl`	$p$-Safe Analysis of Stochastic Hybrid Processes. IEEE Trans. Autom. Control. Rafael Wisniewski, Manuela-Luminita Bujorianu, Christoffer Sloth
2020	—	`conf`	Almost Global Stability of Nonlinear Switched System with Stable and Unstable Subsystems. CDC Aysegül Kivilcim, Özkan Karabacak, Rafael Wisniewski
2020	J	`jnl`	Almost Global Stability of Nonlinear Switched Systems With Time-Dependent Switching. IEEE Trans. Autom. Control. Özkan Karabacak, Aysegül Kivilcim, Rafael Wisniewski
2020	J	`jnl`	Model predictive control with fatigue-damage minimization through the dissipativity property of hysteresis operators. Eur. J. Control Jesus Barradas-Berglind, Rafael Wisniewski, Bayu Jayawardhana
2020	—	`conf`	Model reduction of linear hybrid systems. CDC Ion Victor Gosea, Mihály Petreczky, John Leth, Rafael Wisniewski, Athanasios C. Antoulas
2020	J	`jnl`	Privacy Preservation in Epidemic Data Collection. CoRR Katrine Tjell, Jaron Skovsted Gundersen, Rafael Wisniewski
2019	—	`conf`	A Sufficient Condition for the Almost Global Stability of Nonlinear Switched Systems with Average Dwell Time. CDC Ferruh Ilhan, Özkan Karabacak, Rafael Wisniewski
2019	—	`conf`	New Insights on p-safety of Stochastic Systems. CDC Manuela-Luminita Bujorianu, Rafael Wisniewski
2019	—	`conf`	Privacy Preservation in Distributed Optimization via Dual Decomposition and ADMM. CDC Katrine Tjell, Rafael Wisniewski
2019	—	`conf`	Privacy Preserving Recursive Least Squares Solutions. ECC Katrine Tjell, Ignacio Cascudo, Rafael Wisniewski
2019	—	`conf`	Safe Reachability Verification of Nonlinear Switched Systems via a Barrier Density. CDC Aysegül Kivilcim, Özkan Karabacak, Rafael Wisniewski
2019	—	`conf`	Safety Verification of Nonlinear Switched Systems via Barrier Functions and Barrier Densities. ECC Aysegül Kivilcim, Özkan Karabacak, Rafael Wisniewski
2018	—	`conf`	Algorithm for Bernstein Polynomial Control Design. ADHS Tareq Hamadneh, Rafael Wisniewski
2018	—	`conf`	Almost Global Finite-Time Stability of Invariant Sets. CDC Özkan Karabacak, Rafael Wisniewski, Aysegül Kivilcim
2018	—	`conf`	On the Almost Global Stability of Invariant Sets. ECC Özkan Karabacak, Rafael Wisniewski, John Leth
2018	C	`conf`	The Barycentric Bernstein Form for Control Design. ACC Tareq Hamadneh, Rafael Wisniewski
2017	—	`ed.`	Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers CyPhy Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
2017	J	`jnl`	Demand Response of a TCL Population Using Switching-Rate Actuation. IEEE Trans. Control. Syst. Technol. Luminita Cristiana Totu, Rafael Wisniewski, John Leth
2017	—	`ch.`	Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. Provably Correct Systems Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
2017	J	`jnl`	On robust stability of switched systems in the context of Filippov solutions. Syst. Control. Lett. Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski
2017	J	`jnl`	Safe Human-Inspired Adaptive Cruise Control for Autonomous Vehicles. ERCIM News Alessio Iovine, Elena De Santis, Maria Domenica Di Benedetto, Rafael Wisniewski
2017	—	`conf`	Stochastic safety analysis of stochastic hybrid systems. CDC Rafael Wisniewski, Manuela-Luminita Bujorianu
2016	—	`conf`	Active power management in power distribution grids: Disturbance modeling and rejection. ECC Rasmus Pedersen, Christoffer Sloth, Rafael Wisniewski
2016	J	`jnl`	Converse Barrier Certificate Theorems. IEEE Trans. Autom. Control. Rafael Wisniewski, Christoffer Sloth
2016	C	`conf`	Coordination of electrical distribution grid voltage control - a fairness approach. CCA Rasmus Pedersen, Christoffer Sloth, Rafael Wisniewski
2016	J	`jnl`	Model Reduction by Nice Selections for Linear Switched Systems. IEEE Trans. Autom. Control. Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2016	—	`conf`	Model predictive control for wind turbine power boosting. ECC Peter Fogh Odgaard, Tobias Gybel Hovgaard, Rafael Wisniewski
2016	J	`jnl`	Reachability and observability reduction for linear switched systems with constrained switching. Autom. Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2016	—	`conf`	Safety Verification of Piecewise-Deterministic Markov Processes. HSCC Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman
2016	—	`conf`	Verification of power grid voltage constraint satisfaction - A barrier certificate approach. ECC Rasmus Pedersen, Christoffer Sloth, Rafael Wisniewski
2016	—	`conf`	Wind farm axial-induction factor optimization for power maximization and load alleviation. ECC J. J. Barradas Berglind, Rafael Wisniewski
2016	C	`conf`	Wind turbine control with active damage reduction through energy dissipation. ACC J. J. Barradas Berglind, Bayu Jayawardhana, Rafael Wisniewski
2015	—	`conf`	Control of linear systems with Preisach hysteresis output with application to damage reduction. ECC J. J. Barradas Berglind, Rafael Wisniewski
2015	—	`conf`	DiSC: A simulation framework for distribution system voltage control. ECC Rasmus Pedersen, Christoffer Sloth, Gorm Bruun Andresen, Rafael Wisniewski
2015	C	`conf`	Fatigue load modeling and control for wind turbines based on hysteresis operators. ACC J. J. Barradas Berglind, Rafael Wisniewski, Mohsen Soltani
2015	—	`conf`	Linking spatial and dynamic models for traffic maneuvers. CDC Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski
2015	J	`jnl`	Moment Matching Based Model Reduction for LPV State-Space Models. CoRR Mert Bastug, Mihály Petreczky, Roland Tóth, Rafael Wisniewski, John Leth, Denis V. Efimov
2015	—	`conf`	Moment matching based model reduction for LPV state-space models. CDC Mert Bastug, Mihály Petreczky, Roland Tóth, Rafael Wisniewski, John Leth, Denis V. Efimov
2015	—	`conf`	Parameter estimation for a class of stochastic hybrid systems with state-dependent switching noise. ECC John Leth, Jakob Gulddahl Rasmussen, Henrik Schiøler, Rafael Wisniewski
2015	C	`conf`	Parameter estimation in switched systems. CCA Anders Bech Borchersen, Jesper Abildgaard Larsen, Rafael Wisniewski
2015	—	`ed.`	Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. HAS Manuela-Luminita Bujorianu, Rafael Wisniewski
2015	—	`conf`	Safety Analysis of Stochastic Dynamical Systems. ADHS Christoffer Sloth, Rafael Wisniewski
2015	—	`conf`	Stability verification for energy-aware hydraulic pressure control via simplicial subdivision. ECC Christoffer Sloth, Rafael Wisniewski
2015	C	`conf`	Supermarket defrost cycles as flexible reserve. CCA Rasmus Pedersen, Christoffer Sloth, Rafael Wisniewski, Torben Green
2014	—	`conf`	Control to facet for polynomial systems. HSCC Christoffer Sloth, Rafael Wisniewski
2014	C	`conf`	Distributed coordination of household electricity consumption. CCA Morten Juelsgaard, André Teixeira, Mikael Johansson, Rafael Wisniewski, Jan Bendtsen
2014	J	`jnl`	Distribution Loss Reduction by Household Consumption Coordination in Smart Grids. IEEE Trans. Smart Grid Morten Juelsgaard, Palle Andersen, Rafael Wisniewski
2014	J	`jnl`	Local analysis of hybrid systems on polyhedral sets with state-dependent switching. Int. J. Appl. Math. Comput. Sci. John Leth, Rafael Wisniewski
2014	J	`jnl`	Model Reduction by Moment Matching for Linear Switched Systems. CoRR Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2014	J	`jnl`	Model Reduction of Linear Switched Systems by Restricting Discrete Dynamics. CoRR Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2014	C	`conf`	Model reduction by moment matching for linear switched systems. ACC Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2014	—	`conf`	Model reduction of linear switched systems by restricting discrete dynamics. CDC Mert Bastug, Mihály Petreczky, Rafael Wisniewski, John Leth
2014	—	`conf`	Modeling Populations of Thermostatic Loads with Switching Rate Actuation. HAS Luminita Cristiana Totu, Rafael Wisniewski, John Leth
2014	—	`conf`	Robust stability of switched systems. CDC Christoffer Sloth, Rafael Wisniewski
2014	—	`conf`	Stochastic Analysis of Synchronization in a Supermarket Refrigeration System. HAS John Leth, Rafael Wisniewski, Jakob Gulddahl Rasmussen, Henrik Schiøler
2013	C	`conf`	Certificate for safe emergency shutdown of wind turbines. ACC Rafael Wisniewski, Mikael Svenstrup, Andreas Sondergaard Pedersen, Christian Sigge Steiniche
2013	—	`conf`	Combinatorial Abstractions of Dynamical Systems. HAS Rafael Wisniewski
2013	—	`conf`	Completeness of Lyapunov Abstraction. HAS Rafael Wisniewski, Christoffer Sloth
2013	C	`conf`	Control for large scale demand response of thermostatic loads. ACC Luminita Cristiana Totu, John Leth, Rafael Wisniewski
2013	—	`conf`	Control structures for Smart Grid balancing. ISGT Europe Morten Juelsgaard, Luminita Cristiana Totu, Seyed Ehsan Shafiei, Rafael Wisniewski, Jakob Stoustrup
2013	—	`conf`	Converse barrier certificate theorem. CDC Rafael Wisniewski, Christoffer Sloth
2013	J	`jnl`	Estimation of Rotor Effective Wind Speed: A Comparison. IEEE Trans. Control. Syst. Technol. Mohsen Nourbakhsh Soltani, Torben Knudsen, Mikael Svenstrup, Rafael Wisniewski, Per Brath, Romeo Ortega, Kathryn E. Johnson
2013	C	`conf`	Minimization of distribution grid losses by consumption coordination. CCA Morten Juelsgaard, Palle Andersen, Rafael Wisniewski
2013	C	`conf`	Nonlinear non-convex optimization of hydraulic networks. CCA Maryamsadat Tahavori, Carsten Skovmose Kallesoe, John Leth, Rafael Wisniewski
2013	—	`conf`	Stability concerns for indirect consumer control in smart grids. ECC Morten Juelsgaard, Palle Andersen, Rafael Wisniewski
2013	J	`jnl`	Utilization of Wind Turbines for Upregulation of Power Grids. IEEE Trans. Ind. Electron. Morten Juelsgaard, Jan Dimon Bendtsen, Rafael Wisniewski
2012	—	`conf`	A class of stochastic hybrid systems with state-dependent switching noise. CDC John Leth, Jakob Gulddahl Rasmussen, Henrik Schiøler, Rafael Wisniewski
2012	C	`conf`	An optimal control scheme to minimize loads in wind farms. CCA Maryam Soleimanzadeh, Rafael Wisniewski
2012	—	`conf`	Compositional safety analysis using barrier certificates. HSCC Christoffer Sloth, George J. Pappas, Rafael Wisniewski
2012	—	`conf`	On the existence of compositional barrier certificates. CDC Christoffer Sloth, Rafael Wisniewski, George J. Pappas
2012	C	`conf`	Robust stability and H∞ control of uncertain piecewise linear switched systems with Filippov solutions. CCA Mohamadreza Ahmadi, Hamed Mojallali, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
2012	—	`conf`	Theoretical analysis of balanced truncation for linear switched systems. ADHS Mihály Petreczky, Rafael Wisniewski, John Leth
2011	—	`conf`	A wind farm controller for load and power optimization in a farm. CACSD Maryam Soleimanzadeh, Arno J. Brand, Rafael Wisniewski
2011	—	`conf`	Convenient model for systems with hystereses-control. CDC/ECC Rafael Wisniewski, John Leth
2011	J	`jnl`	Generalised gramian framework for model/controller order reduction of switched systems. Int. J. Syst. Sci. Hamid Reza Shaker, Rafael Wisniewski
2011	C	`conf`	Load reduction of wind turbines using receding horizon control. CCA Mohsen Soltani, Rafael Wisniewski, Per Brath, Stephen P. Boyd
2011	J	`jnl`	Reliable Control of Ship-Mounted Satellite Tracking Antenna. IEEE Trans. Control. Syst. Technol. Mohsen Soltani, Roozbeh Izadi-Zamanabadi, Rafael Wisniewski
2011	—	`conf`	Robustness in dynamical and control systems. SIES Rafael Wisniewski
2011	J	`jnl`	Verification of continuous dynamical systems by timed automata. Formal Methods Syst. Des. Christoffer Sloth, Rafael Wisniewski
2010	—	`conf`	Abstraction of continuous dynamical systems utilizing Lyapunov functions. CDC Christoffer Sloth, Rafael Wisniewski
2010	J	`jnl`	Proofs for an Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions CoRR Christoffer Sloth, Rafael Wisniewski
2010	J	`jnl`	Timed Game Abstraction of Control Systems CoRR Christoffer Sloth, Rafael Wisniewski
2010	C	`conf`	Wind deficit model in a wind farm using finite volume method. ACC Maryam Soleimanzadeh, Rafael Wisniewski, S. Mojtaba Shakeri
2010	—	`conf`	Wind speed dynamical model in a wind farm. ICCA Maryam Soleimanzadeh, Rafael Wisniewski
2009	—	`conf`	Generalized gramian framework for model reduction of switched systems. ECC Hamid Reza Shaker, Rafael Wisniewski
2007	J	`jnl`	Geometric analysis of nondeterminacy in dynamical systems. Acta Informatica Rafael Wisniewski, Martin Raussen
2007	—	`conf`	Hybrid Control and Verification of a Pulsed Welding Process. HSCC Jesper A. Larsen, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
2004	—	`conf`	Soft time-suboptimal controlling structure for mechanical systems. RoMoCo Piotr Kulczycki, Rafael Wisniewski, Piotr A. Kowalski, Karol Krawiec
2002	J	`jnl`	Fuzzy controller for a system with uncertain load. Fuzzy Sets Syst. Piotr Kulczycki, Rafael Wisniewski
2001	J	`jnl`	Discussion on: 'Optimal Magnetic Momentum Control for Inertially Pointing Spacecraft' by M. Lovera. Eur. J. Control Rafael Wisniewski