Specification and formal verification of safety properties in a point automation system von ŞENER, İbrahim, KAYMAKÇI, Özgür Turay, ÜSTOĞLU, İlker, CANSEVER, Galip

Volltext

N-version programming approach with implicit safety guarantee for complex dynamic system stabilization applications von Subasi, Nadir, Guner, Ufuk, Ustoglu, Ilker

Volltext

Stabilizing constant controllers for two-input, two-output systems with reducible and irreducible characteristic equations von Üstoğlu, İlker, Eren, Yavuz, Söylemez, M Turan

Volltext

Compensation Model of Multi-attribute Decision Making and Its Application to N-Version Software Choice von Gruzenkin, Denis Vladimirovich, Grishina, Galina Viktorovna, Durmuş, Mustafa Seçkin, Üstoǧlu, Ilker, Tsarev, Roman Yurievich

Volltext

Neuro-fuzzy iterative learning control for 4-poster test rig von Dursun, Ufuk, Cansever, Galip, Üstoğlu, İlker

Volltext

Topology Based Automatic Formal Model Generation for Point Automation Systems von Oz, Muhammet Ali Nur, Sener, Ibrahim, Kaymakci, Ozgur Turay, Ustoglu, Ilker, Cansever, Galip

Volltext

An algebraic and suboptimal solution of constrained model predictive control via tangent hyperbolic function von Dursun, Ufuk, Yıldız Taşçıkaraoğlu, Fatma, Üstoğlu, İlker

Volltext

Modular Integrated Probabilistic Model of Software Reliability Estimation von Tsarev, Roman Yu, Chernigovskiy, Alexey S, Shtarik, Elena N, Shtarik, Andrey V, Durmus, Mustafa S, Üstoglu, Ilker

Volltext

Safety-Critical Support Vector Regressor Controller for Nonlinear Systems von Uçak, Kemal, Üstoğlu, İlker, Günel, Gülay Öke

Volltext

A Note on all‐Stabilizing Proportional Controllers for Single Input–Single Output Systems von Üstoğlu, İlker, Örenbaş, Halit, Eren, Yavuz

Volltext

Enhanced V-Model von Durmus, Mustafa Seckin, Ustoglu, Ilker, Tsarev, Roman Yu, Börcsök, Josef

Volltext

Obtaining Generic Petri Net Models of Railway Signaling Equipment von Üstoğlu, İlker, Töpel, Daniel, Durmus, Mustafa Seckin, Tsarev, Roman Yurievich, Zhigalov, Kirill Yurievich

Volltext

Hidrolik test sisteminin model öngörülü kontrolü von Üstoğlu,İlker, Taşçıkaraoğlu,Fatma Yıldız, Dursun,Ufuk

Volltext

Next Generation Emergency Call System For Turkey von Ahmet APAK, İlker ÜSTOĞLU

Volltext

Model Predictive Control of Hydraulic Test System von Dursun, Ufuk, Yıldız Taşçıkaraoğlu, Fatma, Üstoğlu, İlker

Volltext

Polynomial Control Systems [Product Review] von Soylemez, Mehmet Turan, Ustoglu, Ilker

Volltext

Hidrolik test sisteminin model öngörülü kontrolü von Fatma Yıldız Taşçıkaraoğlu, İlker Üstoğlu, Ufuk Dursun

Volltext

Hidrolik test sisteminin model öngörülü kontrolü von Ufuk Dursun, İlker Üstoğlu, Fatma Yıldız Taşçıkaraoğlu

Volltext

Hidrolik test sisteminin model öngörülü kontrolü von Ufuk Dursun, İlker Üstoğlu, Fatma Yıldız Taşçıkaraoğlu

Volltext

Signaling System Solution for Urban Railways: Esenler Railway Depot von Okan, Muhammet R., Durmuş, Mustafa S., özmal, Kübra, Akçil, Lütfü, üstoğlu, İlker, Kaymakçi, özgür T.

Volltext