A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
A categorical approach to open and interconnected dynamical systems
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16
Preserved Fulltext
Other Versions
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
2019
Entropy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2015
Symmetry, Integrability and Geometry: Methods and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2012
Accounting and Finance Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2018
Actuators
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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: gzulzt@163.com ...
doi:10.5772/intechopen.76211
fatcat:7m6uxjjkb5filft5alxhpsohri
Complexity and vulnerability of Smartgrid systems
[chapter]
2011
Advances in Safety, Reliability and Risk Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2021
Procedia Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 16th international symposium on High performance distributed computing - HPDC '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal of Industrialized Construction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
Frontiers of Information Technology & Electronic Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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