Search Results - theory of computation: models of computation: (timed OR time) and hybrid models

Higher-Dimensional Timed and Hybrid Automata

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

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a003/51

Availability: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a003
https://doi.org/10.4230/LITES.8.2.3

Numerical optimisation of worm locomotion on frictional substrates

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

Access URL: http://hdl.handle.net/10803/692243
https://dx.doi.org/10.5821/dissertation-2117-415062

A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations

Authors: Werner Damm Martin Fränzle Alyssa J. Kerscher 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

Access URL: https://elib.dlr.de/197988/
https://doi.org/10.1145/3622881
https://publikationen.bibliothek.kit.edu/1000169195
https://doi.org/10.5445/IR/1000169195
https://publikationen.bibliothek.kit.edu/1000169195/152438607

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

Authors: Nejati, Ameneh Zamani, Majid

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

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a006/54

Availability: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a006
https://doi.org/10.4230/LITES.8.2.6

Strict Self-Assembly of Discrete Self-Similar Fractal Shapes ; Auto-assemblage strict de formes fractales

Authors: Becker, Florent Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) et al.

Contributors: Becker, Florent Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) Université d'Orléans (UO)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) 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

Availability: https://hal.science/hal-04571345
https://hal.science/hal-04571345v3/document
https://hal.science/hal-04571345v3/file/main.pdf

Introduction to the Special Issue on Distributed Hybrid Systems

Authors: Abate, Alessandro Fahrenberg, Uli Fränzle, Martin

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

Relation: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000/48

Availability: https://ojs.dagstuhl.de/index.php/lites/article/view/lites-v008-i002-a000
https://doi.org/10.4230/LITES.8.2.0

Bandwidth of Timed Automata: 3 Classes

Authors: Asarin, Eugene Degorre, Aldric Dima, Cătălin et al.

Contributors: Asarin, Eugene Degorre, Aldric Dima, Cătălin et al.

Source: ISSN: 0890-5401.

Subject Terms: timed automata, information theory, bandwidth, entropy, orbit graphs, factorization forests, Theory of computation → Quantitative automata, Theory of computation → Timed and hybrid models, [INFO]Computer Science [cs]

Availability: https://hal.u-pec.fr/hal-04569989
https://doi.org/10.4230/LIPICS.FSTTCS.2023.10

Algebraic Invariants for Linear Hybrid Automata

Authors: Majumdar, Rupak Ouaknine, Joël Pouly, Amaury et al.

Contributors: Majumdar, Rupak Ouaknine, Joël Pouly, Amaury 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

HpC: A Calculus for Hybrid and Mobile Systems -- Full Version: Full Version

Authors: Xu, Xiong Talpin, Jean-Pierre Wang, Shuling et al.

Contributors: Xu, Xiong Talpin, Jean-Pierre Wang, Shuling 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

Computing Power of Hybrid Models in Synchronous Networks

Authors: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo et al.

Contributors: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo 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

Access URL: http://arxiv.org/abs/2208.02640
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2022.20

Brief Announcement: Computing Power of Hybrid Models in Synchronous Networks

Authors: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo et al.

Contributors: Fraigniaud, Pierre Montealegre, Pedro Paredes, Pablo 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

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.43

Determinisability of one-clock timed automata

Authors: Clemente, Lorenzo Lasota, Sławomir Piórkowski, Radosław et al.

Contributors: Clemente, Lorenzo Lasota, Sławomir Piórkowski, Radosław 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

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Models and Theories : A Philosophical Inquiry

Authors: Roman Frigg

Resource Type: eBook.

Subjects: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Prediction of Sea Level Using Double Data Decomposition and Hybrid Deep Learning Model for Northern Territory, Australia.

Authors: Raj, Nawin Murali, Jaishukh Singh-Peterson, Lila et al.

Source: Mathematics (2227-7390); Aug2024, Vol. 12 Issue 15, p2376, 25p

Subject Terms: CONVOLUTIONAL neural networks, SEA level, BEACH erosion, PRINCIPAL components analysis, ARTIFICIAL intelligence

Hydrodynamic and symbolic models of computation with advice.

Authors: Cardona, Robert

Source: Revista Mathemática Iberoamericana; 2025, Vol. 41 Issue 1, p313-338, 26p

Subject Terms: RECURRENT neural networks, TURING machines, COMPUTABLE analysis, EULER equations, SYMBOLIC computation

Accelerating Thermally Safe Operating Area Assessment of Ignition Coils for Hydrogen Engines via AI-Driven Power Loss Estimation.

Authors: Ricci, Federico Picerno, Mario Avana, Massimiliano et al.

Source: Vehicles (2624-8921); Sep2025, Vol. 7 Issue 3, p90, 23p

Subject Terms: THERMAL analysis, ARTIFICIAL neural networks, ENERGY dissipation, COMPUTER-aided engineering, SPARK plugs, HYDROGEN cars, THERMAL stability

Computers as Interactive Machines: Can We Build an Explanatory Abstraction?

Authors: Martin, Alice Magnaudet, Mathieu Conversy, Stéphane

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

The semi-analytic theory and computation of finite-depth standing water waves.

Authors: Abassi, Ahmad Wilkening, Jon

Source: Proceedings of the Royal Society A: Mathematical, Physical & Engineering Sciences; 8/1/2025, Vol. 481 Issue 2319, p1-29, 29p

Subject Terms: STANDING waves, BIFURCATION theory, ASYMPTOTIC expansions, PADE approximant, SUPERCOMPUTERS, RECURSIVE functions, THEORY of wave motion

Residue Theorem and Contour Integration: A Python-Based Approach to Real Integrals.

Authors: Buwai, Nura Salihu, Abdulrashid M. Adamu, Tanko et al.

Source: International Journal of Science for Global Sustainability (IJSGS); Oct2025, Vol. 11 Issue 3, p34-40, 7p

Subject Terms: MATHEMATICAL complex analysis, PYTHON programming language, SYMBOLIC computation, NUMERICAL integration, DEFINITE integrals, LINE integrals, CAUCHY integrals