Sejak akhir-akhir ini, penggunaan komputer telah dianggap sebagai kaedah terpenting di dalam merekabentuk logik sistem kawalan perindustrian terutama dalam rekabentuk sistem sekil-besar (large-scale). Diatas perkembangan teknologi kini, satu spesifikasi kawalan hendak dibentuk untuk mewakili satu format masukan komputer. Keluaran komputer hendaklah menghasilkan satu persamaan logik sebagai asas kepada penyelakuan diatas pakej CAD sebelum litar direka. Perisian ini mestilah bersesuian dengan dua sistem asas iaitu sistem bergabungan (combination) dan sistem jujukan (sequential). Sistem ini merupakan asas kepada rekabentuk sistem kawalan automatan.