Search Results - "System behaviors"
-
1
Authors: et al.
Source: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :290-306
Subject Terms: embedded systems, Napkin Studio, Passive testing, requirements engineering, T-EARS, vehicular systems, Construction equipment, Embedded-system, Industrial case study, Normal operations, Requirement engineering, Specialized tools, System behaviors, Timed easy approach to requirement syntax
File Description: print
-
2
Authors:
Source: ACM Transactions on Software Engineering and Methodology. 34(5)
Subject Terms: Behaviour, Early, Models, Systems, Validation, Verification, Computer aided software engineering, Computer operating systems, Computer software maintenance, Computer software selection and evaluation, Model checking, Software design, Software quality, Behavior, Engineering best practice, Model-based system engineerings, Roadmap, System, System behaviors, Validation and verification, Verification method, System of systems
File Description: print
-
3
Authors:
Source: eLLIIT – The Linköping – Lund Initiative on IT and Mobile Communication Acta Cybernetica. 24(3):269-285
Subject Terms: Digital control systems, Discrete time control systems, Probability, Complete lattices, Discrete - time systems, Guaranteed bounds, Interval probability, Probabilistic behavior, System behaviors, System configurations, Transition system, Approximation algorithms
File Description: print
-
4
Authors:
Source: Procedia CIRP. :285-289
Subject Terms: Internal turning, Tool clamping, Tuned mass damper, Acoustic devices, Degrees of freedom (mechanics), Vibration control, Bending modes, Clamping conditions, Passive dampers, Stiffness loss, System behaviors, Tool machines, Tuned mass dampers, Two-degree-of-freedom models, Machining centers
File Description: electronic
-
5
Authors: et al.
Source: Proceedings - 2024 Prognostics and System Health Management Conference, PHM 2024. :415-421
Subject Terms: Diagnosis, Neural network models, Automated driving systems, Engineering disciplines, Graph neural networks, Management IS, Operational context, Prognostic and health management, Recognition, Relational data, System behaviors, System functions
File Description: print
-
6
Authors: et al.
Source: Proceedings - 2024 IEEE 48th Annual Computers, Software, and Applications Conference, COMPSAC 2024. :531-536
Subject Terms: Digital twins, machine learning, system design, Actual system, Analysis and controls, Distributed systems, In-buildings, Machine-learning, Real-time test, Simulation analysis, Simulation control, System behaviors, Virtual representations
File Description: print
-
7
Authors: et al.
Source: Lect. Notes Comput. Sci. Lecture Notes in Computer Science. :254-258
Subject Terms: AI, digital twins, industrial automation, resource utilization, verification and validation, Actual system, Analysis and controls, Distributed systems, Resources utilizations, Simulation analysis, Simulation control, System behaviors, Verification-and-validation, Virtual representations, Artificial intelligence
File Description: print
-
8
Authors:
Source: CEUR Workshop Proceedings.
Subject Terms: Causality, Natural Language Processing, Requirements Engineering, Tool Demo, Computer software selection and evaluation, Acceptance criteria, Automatic Detection, Causal relations, Causal relationships, Dependency detection, Natural languages, System behaviors, Test case derivations
File Description: electronic
-
9
Authors:
Source: 41st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2015 Lecture Notes in Computer Science. :578-589
Subject Terms: Formal verification, Hypervisor, Memory management, Theorem proving, Virtual reality, Embedded device, Memory subsystems, Specialized hardware, System behaviors, Theorem provers, Virtualizations, Memory management units
File Description: electronic
-
10
Authors: et al.
Contributors: et al.
Source: Digital.CSIC. Repositorio Institucional del CSIC
instname
Consejo Superior de Investigaciones Científicas (CSIC)
Recercat. Dipósit de la Recerca de Catalunya
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Temperature Regulation Of A Pilot-Scale Batch Reaction System Via Explicit Model Predictive ControlSubject Terms: 0209 industrial biotechnology, Polynomial modeling, Controllers, Informàtica::Automàtica i control [Àrees temàtiques de la UPC], Classificació INSPEC::Automation, optimisation, Real control systems, Temperature regulations, Pilot scale, CSTR, Explicit model predictive control, 02 engineering and technology, Mathematical complexity, control theory, Automation, Àrees temàtiques de la UPC::Informàtica::Automàtica i control, Process control, industrial applications, Model predictive control, Automation [Classificació INSPEC], System behaviors, explicit model predictive control, Batch reactions, automation
File Description: application/pdf
Access URL: http://repository.eafit.edu.co/bitstream/10784/8836/2/Javier_SanchezCossio_2015.pdf
http://hdl.handle.net/10261/133221
http://hdl.handle.net/2117/86962
https://upcommons.upc.edu/bitstream/2117/86962/1/1668-Temperature-regulation-of-a-pilot-scale-batch-reaction-system -via-explicit-model-predictive-control.pdf
https://www.iri.upc.edu/files/scidoc/1668-Temperature-regulation-of-a-pilot-scale-batch-reaction-system -via-explicit-model-predictive-control.pdf
https://repository.eafit.edu.co/handle/10784/8836
https://upcommons.upc.edu/handle/2117/86962
https://digital.csic.es/handle/10261/133221
https://eafit.fundanetsuite.com/Publicaciones/ProdCientif/PublicacionFrw.aspx?id=2332
http://hdl.handle.net/10784/28294 -
11
Authors:
Source: 2013 European Control Conference, ECC 2013. :2421-2426
Subject Terms: Common factors, Engineering interests, Factor analysis model, Multi-agents systems, System behaviors
File Description: electronic
-
12
Authors: et al.
Contributors: et al.
Source: Performance Evaluation, 93, pp. 27-46.
Subject Terms: 9. Industry and infrastructure, Markov processes, Measurements, Telecommunication networks, Transient birth-death process, Capacity management, Information Society, 02 engineering and technology, Reversible Markov process, 01 natural sciences, 3. Good health, Performance metrics, Exceedance probability, 2023 OA procedure, 0202 electrical engineering, electronic engineering, information engineering, System behaviors, 0101 mathematics, Asymptotic behaviors, Birth-death process
Access URL: https://repository.tno.nl/islandora/object/uuid%3A05126b34-e9e6-46ec-9228-3bee11586e43
https://doi.org/10.1016/j.peva.2015.07.004
https://www.sciencedirect.com/science/article/pii/S016653161500070X
https://core.ac.uk/display/31155569
https://www.narcis.nl/publication/RecordID/oai:tudelft.nl:uuid:05126b34-e9e6-46ec-9228-3bee11586e43
https://repository.tudelft.nl/view/tno/uuid:05126b34-e9e6-46ec-9228-3bee11586e43
https://resolver.tno.nl/uuid:05126b34-e9e6-46ec-9228-3bee11586e43 -
13
Authors: et al.
Source: DSM 2021 - Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2021. :41-50
Subject Terms: behavior model, KARMA language, model-based systems engineering, modeling and verification, Cost engineering, Modeling languages, Systems engineering, Behaviour models, Design faults, Different domains, Model-based OPC, Model-based system engineerings, Modeling and verifications, System behaviors, System models, Systems performance, Conceptual design
File Description: print
-
14
Authors:
Contributors:
Source: IEEE Transactions on Automatic Control
IEEE Trans Autom ControlSubject Terms: Opacity, 0209 industrial biotechnology, State-based, Discrete event systems, Controllable systems, Discrete event simulation, Security application, 02 engineering and technology, 16. Peace & justice, Supervisory control, Supervisory personnel, State estimators, Security, System behaviors, Nondeterministic finite automaton, State estimation
Access URL: http://www.eng.ucy.ac.cy/hadjicostis/JournalPapers/j51.pdf
http://ieeexplore.ieee.org/document/6032729/
https://ieeexplore.ieee.org/abstract/document/6032729
http://dblp.uni-trier.de/db/journals/tac/tac57.html#SabooriH12
http://www.eng.ucy.ac.cy/hadjicostis/JournalPapers/j51.pdf
https://dblp.uni-trier.de/db/journals/tac/tac57.html#SabooriH12
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000006032729
http://gnosis.library.ucy.ac.cy/handle/7/44825 -
15
Authors:
Source: SIAM Journal on Control and Optimization. 45:2035-2053
Subject Terms: linear differential system behaviors, 0209 industrial biotechnology, 0203 mechanical engineering, SYSTEMS, INTERCONNECTION, Youla parametrization, implementability, parametrization of controllers, 02 engineering and technology, stabilization
Access URL: https://pure.rug.nl/ws/files/2773791/2007SIAMJContOptimPraagman.pdf
https://research.rug.nl/en/publications/e58714b3-4be3-4421-a892-273a153ce0ed
https://hdl.handle.net/11370/e58714b3-4be3-4421-a892-273a153ce0ed
https://doi.org/10.1137/050628696
https://core.ac.uk/display/12923349
https://pure.rug.nl/ws/files/2773791/2007SIAMJContOptimPraagman.pdf
https://epubs.siam.org/doi/abs/10.1137/050628696
https://doi.org/10.1137/050628696
https://dblp.uni-trier.de/db/journals/siamco/siamco45.html#PraagmanTY07
http://www.math.rug.nl/~trentelman/psfiles/Parametrization_final.pdf -
16
Authors:
Source: IEICE Transactions on Information and Systems. 2019, E102.D(7):1280
-
17
Authors:
Subject Terms: System behaviors, sequence diagram merging, dependence analysis, sequence diagram slicing
Relation: https://zenodo.org/communities/waset/; https://zenodo.org/records/1109327; oai:zenodo.org:1109327; https://doi.org/10.5281/zenodo.1109327
-
18
Authors:
Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Lecture Notes in Computer Science. :3-19
Subject Terms: Adaptive systems, Large scale systems, Semantics, Software engineering, Adaptive complex systems, Adaptive modules, Building blockes, Formal foundation, Graph Transformation, Self-adaptive system, Structural adaptation, System behaviors, Behavioral research
File Description: print
-
19
Authors: et al.
Contributors: et al.
Source: Communications in Computer and Information Science ISBN: 9783319087948
Information Processing and Management of Uncertainty in Knowledge-Based Systems, Proceedings, Part I . (442)2014; 15. International Conference-IPMU 2014, Montpellier, FRA, 2014-07-15-2014-07-19, 127-137Subject Terms: LOCAL INTERACTIONS, [SDE] Environmental Sciences, fuzzy rules, Automatic, logiciel, VINE, learning, agronomy, vine, 02 engineering and technology, NUMERICAL ACCURACY, FUZZY LOGIC, LEARNING, SYSTEM BEHAVIORS, LINGUISTIC RULES, intelligence artificielle, FUZZY RULES, LINGUISTICS, [SCCO.COMP] Cognitive science/Computer science, KNOWLEDGE BASED SYSTEMS, 0202 electrical engineering, electronic engineering, information engineering, Automatique / Robotique, logique floue, calcul automatique, OPEN SOURCE SOFTWARE, JAVA INTERFACES, SOFTWARE ENGINEERING, Computer science, FUZZY MODELING, [SPI.AUTO] Engineering Sciences [physics]/Automatic, Informatique (Sciences cognitives), AGRONOMY
File Description: application/pdf
Access URL: https://hal.inrae.fr/hal-02743587/file/Publis14-mistea-025_1.pdf
https://rd.springer.com/chapter/10.1007/978-3-319-08795-5_14
https://link.springer.com/chapter/10.1007%2F978-3-319-08795-5_14
https://dblp.uni-trier.de/db/conf/ipmu/ipmu2014-1.html#Coulon-LeroyCTG14
https://link.springer.com/10.1007/978-3-319-08795-5_14
http://prodinra.inra.fr/record/280316
https://hal.inrae.fr/hal-02743587v1/document
https://doi.org/10.1007/978-3-319-08795-5
https://hal.inrae.fr/hal-02743587v1 -
20
Authors:
Source: 20th International Conference on Formal Engineering Methods, ICFEM 2018. :320-336
Subject Terms: Air navigation, Computer circuits, Architectural levels, Complex engineering, External operating conditions, Mode transitions, Resilience mechanism, Resilient systems, System behaviors, System resiliences, Formal methods
File Description: print
Nájsť tento článok vo Web of Science 
Full Text Finder