November 08, 2002 conference-paper Formal methods in PLC programming Conference proceedings/Conference proceedings - IEEE International Conference on Systems, Man, and Cybernetics DOI: 10.1109/icsmc.2000.884356 OpenAlex Authors 0 Author list not loaded yet. Cited by 2 stored of 285 Search Sort Most cited Newest Oldest Patent citations Title Any typearticle review book-chapter conference-paper preprint dissertation book dataset other Any fieldAgricultural and Biological Sciences Arts and Humanities Biochemistry, Genetics and Molecular Biology Business, Management and Accounting Chemical Engineering Chemistry Computer Science Decision Sciences Dentistry Earth and Planetary Sciences Economics, Econometrics and Finance Energy Engineering Environmental Science Health Professions Immunology and Microbiology Materials Science Mathematics Medicine Neuroscience Nursing Pharmacology, Toxicology and Pharmaceutics Physics and Astronomy Psychology Social Sciences Veterinary Open access MODI: A Structured Development Process of Mode-Based Control Algorithms in the Early Design Stage of Building Energy Systems 2023 Buildings article Engineering Building Energy and Comfort Optimization Open access 3 citations Exploring Architectural Design Decisions in Industry 4.0: A Literature Review and Taxonomy 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Engineering Digital Transformation in Industry 7 citations 2 results References 0