Current Special Sections Intersection of Machine Learning with Control Formal Verification and Synthesis of Cyber-Physical Systems Synchronization in Natural and Engineering Systems OJ-CSYS Editor-in-Chief Personnel: Sonia Martínez University of California, San Diego United States Email Website ORCID iD Intersection of Machine Learning with Control (Recurring) Editor: Lacra Pavel University of Toronto, Canada https://www.control.utoronto.ca/~pavel/ [email protected] Submission Window: 15 Nov 2022 – 30 April 2023 The section will be recurrent, and a planned submission window will be open at least once a year. Unprecedented technological advances have fueled the creation of devices that can collect, generate, store, and transfer large amounts of data. This massive data outpour is profoundly changing the way in which complex engineering problems are solved, calling for the conception of new interdisciplinary tools at the intersection of machine learning, dynamic systems and control, and optimization. While the repurposing of control theories building on new Machine Learning methods can be highly successful, Dynamic Systems and Control can greatly contribute to analyze and devise novel adaptive, safety-critical controllers with performance guarantees. This special issue aims to contribute to this growing area of interest and calls thus for papers in this topical area. Topics of interest for this special issue include and are not limited to: Machine learning for dimensionality reduction and system identification Emerging applications for learning-based control Data-driven optimization and control for dynamical systems Safe reinforcement learning and safe adaptive control Bridging model-based and learning-based control systems Distributed learning over distributed systems Reinforcement learning for multiagent systems Optimization, dynamics and control for machine learning Reinforcement learning and statistical learning for dynamical and control systems Synchronization in Natural and Engineering Systems Editor: Professor Fabio Pasqualetti University of California, Riverside http://www.fabiopas.it [email protected] Submission Window: 15 Sept 2022 – 15 March 2023 Synchronized behaviors arise spontaneously and by design in various natural and man-made systems. For instance, distinctive network-wide patterns of synchrony determine the coordinated motion of orbiting particle systems, promote successful mating in populations of fireflies, regulate the active power flow in electrical grids, and enable numerous cognitive functions in the brain. While some systems rely on synchronization of all units to function properly, other systems exhibit a rich repertoire of synchronized behaviors including cluster synchronization, chimera states, explosive synchronization patterns, and even transient, cross-frequency, and phase-amplitude synchronization. These coordinated behaviors can emerge from the properties of the interconnection structure among the units, be the result of the dynamics of the isolated units, rely on the interplay of structure and dynamics, or be driven by exogenous stimuli. Despite being one of the most studied phenomena in science and engineering, the principles underlying general synchronization patterns in complex systems and, importantly, effective methods to regulate different forms of synchronized behaviors, have remained elusive. Topics of interest for this special issue include and are not limited to: Synchronization metrics for single- and multi-layer networks Analysis methods for approximate and time-varying synchronization Techniques to characterize stable synchronization manifolds Basin of attraction and robustness of synchronization manifolds Model-based and data-driven methods to control synchronized behaviors Design principles leading to desired synchronized evolutions Optimization methods for the design and control of synchronization Resilience, safety, and security of synchronization processes Emerging applications of synchronization methods and benchmarks Formal Verification and Synthesis of Cyber-Physical Systems Editor: Majid Zamani University of Colorado, Boulder https://sites.google.com/site/zamani1362/home [email protected] Submission Window: 15 Sept 2022 – 15 March 2023 Cyber-Physical Systems (CPSs) are complex systems resulting from intricate interactions of computational devices with the physical plants. Recent advances in device manufacturing, computation, and storage have made tremendous advances in hardware and systems platforms for CPSs. With this growing trend in computational devices, CPSs are becoming more and more ubiquitous with many safety-critical applications including autonomous transportations, robot-assisted surgery, medical devices such artificial pancreas, smart manufacturing, smart buildings, etc. Unfortunately, the analysis and design of CPSs nowadays are still based on ad-hoc solutions sought by simply taking the union of the classical techniques in control theory and computer science. This results in error-prone analysis or design, and very high testing and validation costs. Formal-methods based approach to CPS design recommends rigorous requirement specification in every stage of the system development. Formal verification and controller synthesis are two leading approaches to provide correctness guarantees for CPS with respect to such requirements. While formal verification aims at providing a proof of correctness with respect to the given specifications, the goal of the controller synthesis approach is more ambitious: it takes a control system together with the specification and produces a controller such that the resulting closed-loop satisfies the specification. This special section aims to contribute to the growing area of formal methods for CPS and calls thus for papers in this topical area. Topics of interest for this special issue include and are not limited to: Foundations of CPS Analysis, verification, and validation Design, synthesis, planning, and control Network science and network-based control Modeling paradigms and specification languages and requirements Security, trust, and privacy in CPS Safe autonomy, AI and Machine learning in CPS Software tools for the above topics Applications of CPS technologies such as transportation, autonomous systems, avionics, energy and power, robotics, and medical devices. Please contact the OJ-CSYS editorial assistant with any questions. Intersection of Machine Learning with Control Download Formal Verification and Synthesis of Cyber-Physical Systems Download Special Section on Synchronization in Natural and Engineering Systems Download
OJ-CSYS Editor-in-Chief Personnel: Sonia Martínez University of California, San Diego United States Email Website ORCID iD