Simone Schuler

According to our database1, Simone Schuler authored at least 13 papers between 2009 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates.
Proceedings of the 2018 Annual American Control Conference, 2018

2016
A compositional framework for energy management of a smart grid: A scalable stochastic hybrid model for cooling of a district network.
Proceedings of the 12th IEEE International Conference on Control and Automation, 2016

Hybrid Modelling of a Wind Turbine.
Proceedings of the ARCH@CPSWeek 2016, 2016

formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification.
Proceedings of the ARCH@CPSWeek 2016, 2016

2015
Benchmark problem: an air brake model for trains.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2013
ℓ<sub>1</sub>-Optimal Control of Large Wind Turbines.
IEEE Trans. Control. Syst. Technol., 2013

Performance and design of cycles in consensus networks.
Syst. Control. Lett., 2013

Robust design of sparse relative sensing networks.
Proceedings of the 12th European Control Conference, 2013

2012
Cycles and sparse design of consensus networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Design of sparse relative sensing networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Design of structured dynamic output-feedback controllers for interconnected systems.
Int. J. Control, 2011

2010
ℓ∞-gain controller order reduction for discrete-time systems.
Proceedings of the American Control Conference, 2010

2009
ℓ∞-gain model reduction for discrete-time systems via LMIs.
Proceedings of the American Control Conference, 2009


  Loading...