Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book, part of the 'Studies in Systems, Decision and Control' series, presents a comprehensive exploration of declarative models for systems of cyclic concurrent multimodal processes (SCCMP). The author, Grzegorz Bocewicz, delves into the complexities and practical applications of cyclic scheduling problems, particularly those characterized by periodic behaviors in systems such as transportation networks. Through a detailed examination of SCCMP structures and behaviors, the book addresses key challenges in cyclic scheduling, including resource conflicts and system reachability. It proposes novel declarative modeling approaches to overcome these challenges, presenting them as constraint satisfaction problems. This work is intended for researchers and professionals in systems engineering, computer science, and related fields, offering insights into efficient methods for analyzing and synthesizing the structure and behavior of complex systems.

Mathematics --- Classical mechanics. Field theory --- Applied physical engineering --- Engineering sciences. Technology --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- neuronale netwerken --- fuzzy logic --- ICT (informatie- en communicatietechnieken) --- cybernetica --- economie --- wiskunde --- AI (artificiële intelligentie) --- ingenieurswetenschappen --- dynamica --- Constraint programming (Computer science) --- Scheduling. --- Scheduling