Research output per year
Research output per year
Search results
-
2016
Lyapunov Function Synthesis - Algorithm and Software
Leth, T., Sloth, C. & Wisniewski, R., 19 Sept 2016, Computer Aided Control System Design (CACSD), 2016 IEEE Conference on. IEEE, p. 641-647 7 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (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, p. 257-266Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
7 Citations (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, p. 1764-1769 6 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
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, p. 798-802 5 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open Access -
2015
Stability Verification for Energy-Aware Hydraulic Pressure Control via Simplicial Subdivision
Sloth, C. & Wisniewski, R., 2015, Control Conference (ECC), 2015 European. IEEE Press, p. 2694-2699Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
2 Citations (Scopus) -
2014
Robust Stability of Switched Systems
Sloth, C. & Wisniewski, R., 2014, Decision and Control, 2014 IEEE 53rd Conference on. IEEE, p. 4685-4690 6 p. (I E E E Conference on Decision and Control. Proceedings).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
7 Citations (Scopus)