44,192 Hits in 9.6 sec


1977 International Journal of General Systems  
This paper is concerned with establishing broadly-based system-theoretic foundations and practical techniques for the problem of system identification that are rigorous, intuitively clear and conceptually  ...  A general formulation is first given in which two order relations are postulated on a class of models: a constant one of complexity; and a variable one of approximation induced by an observed behaviour  ...  I am grateful to Michael Arbib, Richard Dawkins, Joe Goguen, George Klir, Ladislav Kohout, Steve Matheson and Roger Moore, for helpful discussions and comments, and to Judea Pearl of UCLA for detailed  ... 
doi:10.1080/03081077708934759 fatcat:tcot4dyj6rccnhgtoo73rktv4i


2002 International journal on artificial intelligence tools  
Several model-based diagnosis approaches deal with this problem but they need the computation of a global model which is not feasible for complex systems like telecommunication networks.  ...  Strategy for the merging operation In this section, we consider the problem of efficiently computing the global diagnosis by optimizing the cost of the composition.  ...  In this way, [6] proposes an approach for diagnosing discrete-event systems using decentralized diagnosers.  ... 
doi:10.1142/s0218213002000927 fatcat:ldj6yh4jerhrvl27ez5m5pwuca

Multi-Paradigm Modelling for Cyber-Physical Systems: Foundations [chapter]

Paulo Carreira, Vasco Amaral, Hans Vangheluwe
2020 Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems  
Overall, practitioners tend to use the technique that they are most familiar with, disregarding others that would be adequate for the problem at hand.  ...  Although, in specific disciplines, many techniques are used already as a matter of standard practice, their fundamentals and application are typically far from practitioners of another area.  ...  Non-deterministic languages, as described above, usually have a weak notion of time: not the Natural or Real numbers are used as a time basis, but only a (partial) ordering of event instants.  ... 
doi:10.1007/978-3-030-43946-0_1 fatcat:l7t34t22tvcetbmnw3al7kiwvq

What is a Cyber-Physical System? [chapter]

Walid M. Taha, Abd-Elhamid M. Taha, Johan Thunberg
2020 Cyber-Physical Systems: A Model-Based Approach  
More than at any other time in our history, there is a pressing need for new ways of looking at science, technology, and social phenomena-ways that can help us understand our planet, ourselves, and how  ...  We conclude with an overview of what you can expect to learn from this book. Our Planet. Our Knowledge. Our Destiny We live in a world that is changing at a much faster pace than ever before.  ...  Computational systems cannot always be viewed as purely discrete systems.  ... 
doi:10.1007/978-3-030-36071-9_1 fatcat:4h2suetkubegho624ihf6wo3ji

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, Peter Capell
2014 Journal of Aerospace Information Systems  
In this paper we advocate the use of formal verification techniques and in particular theorem proving for hybrid software-intensive systems as a wellfounded complementary approach to the classical aerospace  ...  As an illustration of these techniques, we study a novel lateral mid-air collision avoidance maneuver in an ideal setting, without accounting for the uncertainties of the physical reality.  ...  We cannot model every possible event from deep in the tail of a probability distribution-we do not want to model glancing blows from meteors, which would make the aircraft system unsafe but are beyond  ... 
doi:10.2514/1.i010178 fatcat:cy3uwmqqofbadjjqegaa3bibw4

Enterprise Information System Engineering: A Model-Based Approach Based on the Zachman Framework

Mara Nikolaidou, Nancy Alexopoulou
2008 Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008)  
Zachman's Enterprise Architecture framework may be used as a basis for constructing a central EIS model.  ...  Modelbased system engineering may contribute towards this direction, by providing a central system model that captures system requirements and decisions that fulfill them at different levels of abstraction  ...  Discrete engineering issues are usually resolved by different methodologies and autonomous software tools, thus the support of different system models cannot be avoided.  ... 
doi:10.1109/hicss.2008.148 dblp:conf/hicss/NikolaidouA08 fatcat:wm62vcqq7nhalagew3gwpum6mu

Specifications and Modeling [chapter]

Peter Marwedel
2021 Embedded Systems  
The presentation includes models for early design phases, automata-based models, data flow, Petri nets, discrete event models, von Neumann languages, and abstraction levels for hardware modeling.  ...  Models and description techniques for initial specifications as well as for intermediate design information will be shown in this chapter.  ...  However, for non-distributed systems, we can try to avoid the problems of unnecessary nondeterminate semantics.  ... 
doi:10.1007/978-3-030-60910-8_2 fatcat:gxmydpjzjvfk7ni2rj62j365zi

Locality, Statefulness, and Causality in Distributed Information Systems (Concerning the Scale Dependence Of System Promises) [article]

Mark Burgess
2019 arXiv   pre-print
These notes are part of an initiative to engage with thinkers and practitioners towards a more rational and disciplined language for systems engineering for era of ubiquitous extended-cloud computing.  ...  Several popular best-practice manifestos for IT design and architecture use terms like 'stateful', 'stateless', 'shared nothing', etc, and describe 'fact based' or 'functional' descriptions of causal evolution  ...  Acknowledgment: I'm grateful to Kenny Bastani, Jonas Bonér, Andrew Cowie, and Daniel North for commenting on drafts and offering references. Thanks  ... 
arXiv:1909.09357v1 fatcat:keg7fy6r6ngkvghcuw3xu4myv4

Data base management systems

Mitchell H. Goldstein
1986 National Productivity Review  
Cryptography is an art of scrambling the data in order to provide security and confidentiality. Cryptography is being used in order for the securely transmission of the data.  ...  Cryptography is an art of scrambling the data in order to provide security and confidentiality. Cryptography is being used in order for the securely transmission of the data.  ...  The specifications of the source of funding for the research if appropriate can be included. Suppliers of resources may be mentioned along with address.  ... 
doi:10.1002/npr.4040050212 fatcat:k3durihnkvajleow3nzvjhjt2e

Model Checking Linear-Time Properties of Probabilistic Systems [chapter]

Christel Baier, Marcus Größer, Frank Ciesinski
2009 Monographs in Theoretical Computer Science  
Most of these techniques are orthogonal to the symbolic approach of PRISM and the partial order reduction approach of LIQUOR and can be applied in combination with them.  ...  In the early 1990s, several partial order reduction techniques have been developed for non-probabilistic systems [86, 74, 87, 52, 38, 39, 75, 88, 76] .  ... 
doi:10.1007/978-3-642-01492-5_13 fatcat:n3qjkl2ojreypn7sxc4e7zfvs4

A model based approach to system of systems risk management

Andrew Kinder, Michael Henshaw, Carys Siemieniuch
2015 2015 10th System of Systems Engineering Conference (SoSE)  
the use of M&S in order to support SoSE activities.  ...  Risk Management of SoS requires a different approach to that currently taken for individual systems; if risk is managed for each component system then it cannot be assumed that the aggregated affect will  ...  Robert Garrett, Chief Engineer for Modelling and Simulation at the Missile Defence Agency, for his encouragement and invaluable input to this paper.  ... 
doi:10.1109/sysose.2015.7151940 dblp:conf/sysose/KinderHS15 fatcat:slnnxd3ez5ddffqwmjfzd7avya

Time-optimal control of large-scale systems of systems using compositional optimization

Fredrik Hagebring, Bengt Lennartson
2019 Discrete event dynamic systems  
This paper further improves on compositional optimization with a novel synchronization method, called partial time-weighted synchronization (PTWS), that is specifically designed for time-optimal control  ...  of asynchronous systems.  ...  In this paper we present CompOpt, a method for compositional optimization of discrete event systems of systems.  ... 
doi:10.1007/s10626-019-00290-0 fatcat:ku6s4in4jvekzohwtes7kkmitm

System safety as an emergent property in composite systems

Jennifer Black, Philip Koopman
2009 2009 IEEE/IFIP International Conference on Dependable Systems & Networks  
Correctly specifying requirements for composite systems is essential to system safety. In a distributed development environment, safety requirements must be clearly defined for subsystems.  ...  The results demonstrate proof of concept of the ICPA technique for defining system safety subgoals in a real system. i  ...  As the system design progresses, Fault Tree Analysis (FTA) may be used to trace top-level hazards to the underlying events that cause them [50] .  ... 
doi:10.1109/dsn.2009.5270316 dblp:conf/dsn/BlackK09 fatcat:nexkwutkzvgjfdcbck3wdqwsmy

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Specifications play a major role in evaluating behaviors of modern cyber-physical systems (CPS).  ...  Acknowledgments This report was partially supported by the Productive 4.0 project (ECSEL 737459).  ... 
doi:10.4230/dagrep.9.2.48 dblp:journals/dagstuhl-reports/DeshmukhMN19 fatcat:qs52xpqxbzh6vajciydqb3ujgi

Challenges in complex systems science

M. San Miguel, J. H. Johnson, J. Kertesz, K. Kaski, A. Díaz-Guilera, R. S. MacKay, V. Loreto, P. Érdi, D. Helbing
2012 The European Physical Journal Special Topics  
in response to predictions, and systems whose apparently predictable behaviour is disrupted by apparently unpredictable rare or extreme events.  ...  This presents many challenges including: data gathering by large-scale experiment, participatory sensing and social computation, managing huge distributed dynamic and heterogeneous databases; moving from  ...  MSM acknowledges also financial support for research on Complex Systems from MINECO FIS2007-60327. He also thanks Emilio Hernandez-Garcia for enlightening discussions on the subject.  ... 
doi:10.1140/epjst/e2012-01694-y fatcat:jq25gke3b5hkzfsj5x56c5thse
« Previous Showing results 1 — 15 out of 44,192 results