CodeMe - Computer Aided Design Methods for Industrial Automation

Publikation

Publikationer pr. år 2014 2016 2016

• 6 Konferenceartikel i proceeding
• 1 Tidsskriftartikel
• 1 Konferenceartikel i tidsskrift

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  Lyapunov Function Synthesis - Algorithm and Software

  Leth, T., Sloth, C. & Wisniewski, R., 19 sep. 2016, Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. IEEE, s. 641-647 7 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  2 Citationer (Scopus)

• Safety Verification of Piecewise-Deterministic Markov Processes

  Wisniewski, R., Sloth, C., Bujorianu, M. & Piterman, N., 2016, HSCC '16 Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, s. 257-266

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Safety Verification 100%
  • Piecewise Deterministic Markov Process 100%
  • Markov Process 100%
  • Piecewise 100%
  • Optimisation Problem 66%
  7 Citationer (Scopus)

• Stability of Drinking Water Distribution Network

  Leth, T., Kallesøe, C. S., Sloth, C. & Wisniewski, R., 29 jun. 2016, Control Conference (ECC), 2016 European. IEEE, s. 1764-1769 6 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Hydraulics 100%
  • End-Users 100%
  • Electric Power Distribution 100%
  • Polynomial Model 100%
  • Polynomial 100%

• Towards synthesis of polynomial controllers - a multi-affine approach

  Ribard, N., Wisniewski, R. & Sloth, C., 2016, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems. University of Minnesota Press, s. 798-802 5 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  • Polynomial 100%
  • Algorithms 33%
  • Synthesis Problem 33%
  • Algorithm 25%
  • Cube 25%
• 2015

  Stability Verification for Energy-Aware Hydraulic Pressure Control via Simplicial Subdivision

  Sloth, C. & Wisniewski, R., 2015, Control Conference (ECC), 2015 European. IEEE Press, s. 2694-2699

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Polynomial 100%
  • Vector Field 100%
  • Bounds 100%
  • Dynamical System 100%
  • Hydraulic Pressure 100%
  2 Citationer (Scopus)
• 2014

  Robust Stability of Switched Systems

  Sloth, C. & Wisniewski, R., 2014, Decision and Control, 2014 IEEE 53rd Conference on. IEEE, s. 4685-4690 6 s. (I E E E Conference on Decision and Control. Proceedings).

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Polynomial 100%
  • Parametric 50%
  • Vector Field 50%
  7 Citationer (Scopus)