Simone Schuler

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