Simone Schuler

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 5

Top Topics

Formal Verification

Stochastic Control

Top Venues

IEEE Trans. Control. Syst. Technol.

Publications

Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates. ACC (2018)
Axel Busboom, Simone Schuler, Alexander Walsch
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification. ARCH@CPSWeek (2016)
Simone Schuler, Fabiano Daher Adegas, Adolfo Anta
Hybrid Modelling of a Wind Turbine. ARCH@CPSWeek (2016)
Daniele Ioli, Alessandro Falsone, Simone Schuler, Maria Prandini
A compositional framework for energy management of a smart grid: A scalable stochastic hybrid model for cooling of a district network. ICCA (2016)
Luca Parolini, Simone Schuler, Adolfo Anta
Benchmark problem: an air brake model for trains. ARCH@CPSWeek (2015)
Daniel Zelazo, Simone Schuler, Frank Allgöwer
Performance and design of cycles in consensus networks. Syst. Control. Lett. 62 (1) (2013)
Simone Schuler, Daniel Zelazo, Frank Allgöwer
Robust design of sparse relative sensing networks. ECC (2013)
Simone Schuler, David Schlipf, Po-Wen Cheng, Frank Allgöwer
-Optimal Control of Large Wind Turbines. IEEE Trans. Control. Syst. Technol. 21 (4) (2013)
Daniel Zelazo, Simone Schuler, Frank Allgöwer
Cycles and sparse design of consensus networks. CDC (2012)
Simone Schuler, Daniel Zelazo, Frank Allgöwer
Design of sparse relative sensing networks. CDC (2012)
Simone Schuler, Ping Li, James Lam, Frank Allgöwer
Design of structured dynamic output-feedback controllers for interconnected systems. Int. J. Control 84 (12) (2011)
Oussama Ajala, Simone Schuler, Frank Allgöwer
ℓ∞-gain controller order reduction for discrete-time systems. ACC (2010)
Simone Schuler, Frank Allgöwer
ℓ∞-gain model reduction for discrete-time systems via LMIs. ACC (2009)