Search Results - theory of computation: models of computation: (timed OR time) and hybrid models
-
1
Authors: Fahrenberg, Uli
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 03:1-03:16 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: timed automaton, higher-dimensional automaton, precubical set, real time, non-interleaving concurrency, hybrid automaton, Theory of computation~Concurrency, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
2
Authors: Bijalwan, Ashutosh
Contributors: University/Department: Universitat Politècnica de Catalunya. Facultat de Matemàtiques i Estadística
Thesis Advisors: Muñoz Romero, José
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Optimal control, Adjoint method, Control Hamiltonian, Structure-preserving discretisation, Nonlinear elasticity, Finite element, Limbless locomotion, Àrees temàtiques de la UPC::Matemàtiques i estadística
File Description: application/pdf
-
3
Authors: et al.
Source: ACM Transactions on Cyber-Physical Systems, 8 (1), 1–23
Subject Terms: ddc:004, 0209 industrial biotechnology, Theory of computation: Models of computation: Interactive computation, DATA processing & computer science, 05 social sciences, Theory of computation: Models of computation: Timed and hybrid models, 0501 psychology and cognitive sciences, 02 engineering and technology, concepts and paradigms, Human-centered computing: Interaction design: Interaction design theory, CCS CONCEPTS
File Description: application/pdf
-
4
Authors:
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 06:1-06:17 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Compositional barrier certificates, Stochastic hybrid systems, Dissipativity theory, Large-scale networks, Formal controller synthesis, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04571345 ; 2024.
Subject Terms: Molecular Self-assembly, Discrete Fractals, Substitutions, 2012 ACM Subject Classification Theory of computation → Abstract machines Theory of computation → Timed and hybrid models Theory of computation → Computational geometry Molecular Self-assembly, Substitutions 1, 2012 ACM Subject Classification Theory of computation → Abstract machines, Theory of computation → Timed and hybrid models, Theory of computation → Computational geometry Molecular Self-assembly, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2405.08548; ARXIV: 2405.08548
-
6
Authors:
Source: Leibniz Transactions on Embedded Systems; Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems; 00:1-00:3 ; 2199-2002 ; 10.4230/LITES-v008-i002
Subject Terms: Distributed hybrid systems, Computing methodologies~Model verification and validation, Computer systems organization~Embedded and cyber-physical systems, Mathematics of computing~Stochastic processes, Theory of computation~Concurrency, Theory of computation~Distributed computing models, Theory of computation~Logic and verification, Theory of computation~Program reasoning, Theory of computation~Self-organization, Theory of computation~Timed and hybrid models
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Source: ISSN: 0890-5401.
-
8
Authors: et al.
Contributors: et al.
Source: 31st International Conference on Concurrency Theory
Leibniz International Proceedings in Informatics
31st International Conference on Concurrency Theory (CONCUR)Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, 0209 industrial biotechnology, Theory of computation → Models of computation, Theory of computation → Timed and hybrid models, 02 engineering and technology, [INFO] Computer Science [cs], Logic in Computer Science (cs.LO), Mathematics - Algebraic Geometry, algebraic invariants, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, ddc:004, Hybrid automata, Algebraic Geometry (math.AG)
File Description: application/pdf
Access URL: http://arxiv.org/abs/1902.10452
http://ui.adsabs.harvard.edu/abs/2019arXiv190210452M/abstract
https://arxiv.org/pdf/1902.10452
https://arxiv.org/abs/1902.10452
https://pure.mpg.de/pubman/item/item_3316421_2/component/file_3341981/LIPIcs-CONCUR-2020-32.pdf
https://doi.org/10.4230/LIPIcs.CONCUR.2020.32
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3316421
https://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-10452
https://arxiv.org/abs/1902.10452
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.32
http://hdl.handle.net/21.11116/0000-0008-6A71-2
http://hdl.handle.net/21.11116/0000-0009-2F12-F
https://hal.science/hal-03011136v1 -
9
Authors: et al.
Contributors: et al.
Subject Terms: Networking and Internet Architecture (cs.NI), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.3.1, Computer Science - Programming Languages, Internet of Things, Systems and Control (eess.SY), Hybrid Systems, Electrical Engineering and Systems Science - Systems and Control, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Process calculi, Computer Science - Networking and Internet Architecture, Algebraic language theory, Operational semantics, FOS: Electrical engineering, electronic engineering, information engineering, F.3.2, Bisimulation, F.3.1, Timed and hybrid models, F.1.1, Theory of computation, Programming Languages (cs.PL)
File Description: application/pdf
Access URL: http://arxiv.org/abs/2501.09430
-
10
Authors: et al.
Contributors: et al.
Subject Terms: LOCAL, FOS: Computer and information sciences, hybrid model, 0102 computer and information sciences, [INFO] Computer Science [cs], synchronous networks, 01 natural sciences, Computer Science - Distributed, Parallel, and Cluster Computing, CONGEST, 0103 physical sciences, Broadcast Congested Clique, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, ddc:004
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: LOCAL, CONGEST, Broadcast Congested Clique, hybrid model, Theory of computation → Distributed algorithms, [INFO] Computer Science [cs], ddc:004, synchronous networks
File Description: application/pdf
-
12
Authors: et al.
Contributors: et al.
Source: Concur
Subject Terms: FOS: Computer and information sciences, Theory of computation → Automata over infinite objects, Formal Languages and Automata Theory (cs.FL), 4. Education, 1. No poverty, Theory of computation → Timed and hybrid models, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, deterministic membership problem, determinisation, 0202 electrical engineering, electronic engineering, information engineering, ddc:004, Timed automata
File Description: application/pdf
Access URL: http://arxiv.org/abs/2007.09340
https://drops.dagstuhl.de/opus/volltexte/2020/12854/pdf/LIPIcs-CONCUR-2020-42.pdf/
https://doi.org/10.4230/LIPIcs.CONCUR.2020.42
https://dblp.uni-trier.de/db/journals/corr/corr2007.html#abs-2007-09340
https://drops.dagstuhl.de/opus/volltexte/2020/12854/
https://arxiv.org/abs/2007.09340
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2020.42 -
13
-
14
Authors: Roman Frigg
Resource Type: eBook.
Subjects: Science--Methodology, Science--Philosophy
Categories: PHILOSOPHY / General
PDF Full Text -
15
Authors: et al.
Source: Mathematics (2227-7390); Aug2024, Vol. 12 Issue 15, p2376, 25p
-
16
Authors: Cardona, Robert
Source: Revista Mathemática Iberoamericana; 2025, Vol. 41 Issue 1, p313-338, 26p
-
17
Authors: et al.
Source: Vehicles (2624-8921); Sep2025, Vol. 7 Issue 3, p90, 23p
-
18
Authors:
Source: Minds & Machines; Mar2023, Vol. 33 Issue 1, p83-112, 30p, 2 Diagrams
Subject Terms: HUMAN-computer interaction, COMPUTABLE functions, TURING machines, COMPUTERS, COMPUTER engineering
-
19
Authors:
Source: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 8/1/2025, Vol. 481 Issue 2319, p1-29, 29p
-
20
Authors: et al.
Source: International Journal of Science for Global Sustainability (IJSGS); Oct2025, Vol. 11 Issue 3, p34-40, 7p
Nájsť tento článok vo Web of Science
Full Text Finder