62,663 Hits in 4.0 sec

A categorical approach to open and interconnected dynamical systems

Brendan Fong, Paweł Sobociński, Paolo Rapisarda
2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16  
We develop a sound and complete graphical theory for discrete linear time-invariant dynamical systems.  ...  This extended semantics features non-controllable systems, and we develop a novel, structural characterisation of controllability.  ...  We thank Jonathan Mayo, Thabiso Maupong, John Baez, and Jason Erbele for useful discussions.  ... 
doi:10.1145/2933575.2934556 dblp:conf/lics/FongSR16 fatcat:ef7ypvipuravvmzcw57eavwdim

Category Theory for Autonomous and Networked Dynamical Systems

Jean-Charles Delvenne
2019 Entropy  
We then show how to define open systems (that can interact with their environment), interconnect them, and define control problems for them in a unified way.  ...  In this discussion paper we argue that category theory may play a useful role in formulating, and perhaps proving, results in ergodic theory, topogical dynamics and open systems theory (control theory)  ...  As open dynamical systems can naturally be interconnected, not just in two (e.g., a given plant to be controlled and a controller, designed especially in the goal to drive or observe the plant) but in  ... 
doi:10.3390/e21030302 pmid:33267017 fatcat:w2zswpzad5ffphjd2kyjou35hm

Patterns for Coordination [chapter]

L. F. Andrade, J. L. Fiadeiro, J. Gouveia, A. Lopes, M. Wermelinger
2000 Lecture Notes in Computer Science  
On leave at (2) from (3) with the support of Fundação para a Ciência e Tecnologia and the EPSRC.  ...  The basic motto of the categorical approach to systems is that morphisms can be used to express interaction between components, so that "given a category of widgets, the operation of putting a system of  ...  A Categorical Pattern for Coordination Our mathematical approach to coordination was first outlined in [4] .  ... 
doi:10.1007/3-540-45263-x_22 fatcat:cshrdlrzwbc6xk4uhbdgzs5fo4

Dynamics on Networks of Manifolds

Lee DeVille
2015 Symmetry, Integrability and Geometry: Methods and Applications  
We propose a precise definition of a continuous time dynamical system made up of interacting open subsystems. The interconnections of subsystems are coded by directed graphs.  ...  Consequently surjective graph fibrations give rise to invariant subsystems and injective graph fibrations give rise to projections of dynamical systems.  ...  Acknowledgments L.D. was supported by the National Science Foundation under grants CMG-0934491 and UBM-1129198 and by the National Aeronautics and Space Administration under grant NASA-NNA13 AA91A.  ... 
doi:10.3842/sigma.2015.022 fatcat:lks45jumzbfddj6ybjvp6mikze

Dynamics of Network of Global Stock Markets

Xiao Fan Liu, Chi K. Tse
2012 Accounting and Finance Research  
We have demonstrated in this paper that the network approach is a viable methodology for probing into the behavior of global markets as a complex interconnecting system.  ...  Our work exposes the interdependence of stock markets in the world and proposes a network approach to identifying some salient global behavior of the interconnecting markets.  ...  To study the complex interdependence of the stock markets in the world, we introduce a new methodology which is capable of analyzing large interconnecting systems.  ... 
doi:10.5430/afr.v1n2p1 fatcat:fh5qfqre3rg3tmujhez5sacy5q

Morphisms of Networks of Hybrid Open Systems [article]

James Schmidt
2019 arXiv   pre-print
It builds upon a framework of networks of continuous-time open systems as product and interconnection.  ...  We also develop categorical notions for abstract systems, abstract open systems, networks of abstract open systems, and morphisms of networks of abstract open systems.  ...  Networks of Systems and Interconnection We start with a concrete example from continuous-time dynamical systems to introduce our overall approach to networks.  ... 
arXiv:1911.09048v2 fatcat:cujwksnwrjd3vlo3jxq7cir7le

Compositional Thinking in Cyberphysical Systems Theory [article]

Georgios Bakirtzis and Eswaran Subrahmanian and Cody H. Fleming
2021 arXiv   pre-print
Engineering safe and secure cyber-physical systems requires system engineers to develop and maintain a number of model views, both dynamic and static, which can be seen as algebras.  ...  We posit that verifying the composition of requirement, behavioral, and architectural models using category theory gives rise to a strictly compositional interpretation of cyber-physical systems theory  ...  Visually this morphism split is opening up the model of system behavioral ( Figure 3 ) to a model of system architecture ( Figure 4) .  ... 
arXiv:2105.12911v2 fatcat:di3kckyucbbabh7ckoehvhhaji

Root Cause Analysis of Actuator Fault [chapter]

Mei Zhang, Ze-tao Li, Boutaib Dahhou, Michel Cabassud
2018 Actuators  
This chapter develops a two-level fault diagnosis (FD) and root cause analysis (RCA) scheme for a class of interconnected invertible dynamic systems and aims at detecting and identifying actuator fault  ...  plant at both local and global level. have shown that control valve can be seen as a nonlinear dynamic system.  ...  Author details Mei Zhang 1,2,4 *, Ze-tao Li 1 , Boutaib Dahhou 3,4 and Michel Cabassud 2,4 *Address all correspondence to:  ... 
doi:10.5772/intechopen.76211 fatcat:7m6uxjjkb5filft5alxhpsohri

Complexity and vulnerability of Smartgrid systems [chapter]

E Kuznetsova, K Culver, E Zio
2011 Advances in Safety, Reliability and Risk Management  
Typical characteristics of complex systems, such as self-organization, emergence, chaotic behavior and evolution, are considered with respect to Smartgrids as future energy infrastructures.  ...  These characteristics are categorized as inherent, challenge-response, or acquired. This guides the identification of major sources of uncertainty in the infrastructure.  ...  As a result, the modeling and analysis of such systems by reductionist methods are likely to fail, and holistic approaches are needed.  ... 
doi:10.1201/b11433-352 fatcat:6w6h6cohdnaa7ig2kytjzrcrzi

Network Intrusion Detection System using Deep Learning

Lirim Ashiku, Cihan Dagli
2021 Procedia Computer Science  
Simultaneously, it opens a path to exploitable vulnerabilities that go well beyond human control capability.  ...  Simultaneously, it opens a path to exploitable vulnerabilities that go well beyond human control capability.  ...  Introduction Advances and widespread use of interconnectivity and interoperability of information and communication technologies (ICT) have become necessary to reshape our relations to daily activities  ... 
doi:10.1016/j.procs.2021.05.025 fatcat:sx6jggkafzhutkofu4o64ms3ya

Evaluating the impacts of network information models on applications and network service providers

Nut Taesombut, Andrew A. Chien
2007 Proceedings of the 16th international symposium on High performance distributed computing - HPDC '07  
ACM 978-1-59593-673-8/07/0006. within a domain. This approach allows us to estimate the latency of an end-to-end circuit path across domains. 4.  ...  Further, dynamic provisioning enables distributed and network resources to be efficiently utilized and shared by different applications over distinct time periods.  ... 
doi:10.1145/1272366.1272397 dblp:conf/hpdc/TaesombutC07 fatcat:eoz7dkk3bfgcrh7ez4wzkexjxi

ViewpointS: A Collective Brain [chapter]

Philippe Lemoisson, Stefano A. Cerri
2020 Lecture Notes in Computer Science  
We are therefore challenging each of the current approaches: the logical one in the semantic Web, the statistical one in mining and deep learning, the social one in recommender systems based on authority  ...  Far from being without doubts, in the paper we present the reasons (and the limits) of our proposal that aims to become a useful integrating tool for future quantitative explorations of individual brain  ...  The brain is not a computer, but a highly dynamic, distributed and complex system, maybe the most complex "object" of the known universe.  ... 
doi:10.1007/978-3-030-60735-7_4 fatcat:6llh26cqhjcfnjcxghc5zoworq

Towards Dynamic Vertical Urbanism

Rongbo Hu, Wen Pan, Thomas Bock
2020 International Journal of Industrialized Construction  
As a result, this vertical city concept has the ability to integrate five basic elements of a city: vertical and horizontal circulation systems as its paths, a flexible building envelope as its edges,  ...  Finally, the complex will perform as a series of interconnected components which act together to form a living organism that provides various functions such as corporate, residential, commercial, academic  ...  Open building approach Following the Open Building concepts, the building system of dynamic vertical urbanism can be divided into 4 sub-systems: structures, non-load-bearing components, services and construction  ... 
doi:10.29173/ijic208 fatcat:j6gou2eshzcubp3hq7pumpge6m

Special issue on artificial intelligence 2.0

Yun-he Pan
2017 Frontiers of Information Technology & Electronic Engineering  
The next-generation AI, namely AI 2.0, is a more explainable, robust, open, and general AI with the following attractive merits: It effectively integrates data-driven machine learning approaches (bottom-up  ...  The emergence of new technologies also promotes AI to a new stage (Pan, 2016) .  ...  Liang et al. (2017) devised a general and useful model that considers not only the arrangement of a set of tasks to a set of crowd workers, but also all the dynamic arrivals of all crowd workers.  ... 
doi:10.1631/fitee.1710000 fatcat:gwwxwitft5corgbtlxr6wiueka

Compositional Cyber-Physical Systems Modeling

Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming
2021 Electronic Proceedings in Theoretical Computer Science  
Such a categorical language can make concrete the relationship between different model views, thereby managing complexity, allowing hierarchical decomposition of system models, and formally proving consistency  ...  Manually editing and checking models is error prone, time consuming, and sensitive to any changes in the design of the models themselves.  ...  While we have been heavily influenced by systems theory, in this paper we develop a categorical approach to synthesizing and analyzing cyber-physical system designs on top of systems theory.  ... 
doi:10.4204/eptcs.333.9 fatcat:x3iaiwfnsrgpteva3645mrikq4
« Previous Showing results 1 — 15 out of 62,663 results