Neural network atau yang disebut Artificial Neural Network adalah suatu teknik implementasi yang dirancang untuk mensimulasikan metode berfikir yang dimiliki oleh manusia dalam memecahkan suatu mas…
Buku tugas Akhir ini mengajukan metode perancangan kontrol pada differential Drive Wheeled Mobile Robots (DDMWR) untuk melakukan penjejakan suatu lintasan referensi. Perancangan kontrol dilakukan p…
The inverted pendulum system (IPS) on a cart is an example benchmark that is often used to demonstrate the modeling and control design frameworks of modern control systems. This paper describes th…
Sistem penjadwalan (scheduling) merupakan salah satu aspek penting pada pengoperasian kereta api yang Sistem penjadwalan kereta api di Indonesia hingga saat ini masih bergantung pada metoda manual …
Meningkatnya jumlah penduduk, terutama di kota-kota besar dunia menyebabkan kebutuhan akan transportasi juga meningkat. Salah satu moda transportasi yang banyak dikembangkan untuk menjawab kebutuha…
This paper examines a codesign problem in industrial networked control systems (NCS) whereby physical systems are controlled over wireless fading channels. The considered wireless channels are assu…
Networked control systems (NCS) typically utilize networks of computers and communication links to automatically monitor and manage the plant-sensor-controller-actuator interactions and data exchan…
This paper describes an implementation of formal methods for safety verification of a railway interlocking system model based on model checking techniques. In the proposed method, a model for the i…
This paper examines a linear programming (LP) formulation of the network utility maximization problem. Such an LP formulation is inspired by a convex relaxation technique in the study of nonconvex …