Relevant bibliographies by topics / Timed automata

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Timed automata'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Timed automata.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Timed automata"

1

Boumaza, Amel, and Ramdane Maamri. "Mapping OWL-S Process Model to Timed Automata." Journal of Information Technology Research 11, no. 1 (2018): 29–48. http://dx.doi.org/10.4018/jitr.2018010103.

Full text
Abstract:
The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to aut
APA, Harvard, Vancouver, ISO, and other styles
2

Nielsen, Brian, and Arne Skou. "Automated test generation from timed automata." International Journal on Software Tools for Technology Transfer 5, no. 1 (2003): 59–77. http://dx.doi.org/10.1007/s10009-002-0094-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lanotte, Ruggero, Andrea Maggiolo-Schettini, and Adriano Peron. "Timed Cooperating Automata." Fundamenta Informaticae 43, no. 1-4 (2000): 153–73. http://dx.doi.org/10.3233/fi-2000-43123408.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Barbuti, Roberto, Andrea Maggiolo-Schettini, Paolo Milazzo, and Luca Tesei. "Timed P Automata." Fundamenta Informaticae 94, no. 1 (2009): 1–19. http://dx.doi.org/10.3233/fi-2009-114.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, and Wang Yi. "Timed Automata Patterns." IEEE Transactions on Software Engineering 34, no. 6 (2008): 844–59. http://dx.doi.org/10.1109/tse.2008.52.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lasota, Slawomir, and Igor Walukiewicz. "Alternating timed automata." ACM Transactions on Computational Logic 9, no. 2 (2008): 1–27. http://dx.doi.org/10.1145/1342991.1342994.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Krishnan, Padmanabhan. "Distributed Timed Automata." Electronic Notes in Theoretical Computer Science 28 (2000): 5–21. http://dx.doi.org/10.1016/s1571-0661(05)80627-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Springintveld, Jan, Frits Vaandrager, and Pedro R. D'Argenio. "Testing timed automata." Theoretical Computer Science 254, no. 1-2 (2001): 225–57. http://dx.doi.org/10.1016/s0304-3975(99)00134-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bouyer, Patricia, Catherine Dufourd, Emmanuel Fleury, and Antoine Petit. "Updatable timed automata." Theoretical Computer Science 321, no. 2-3 (2004): 291–345. http://dx.doi.org/10.1016/j.tcs.2004.04.003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sankur, Ocan, Patricia Bouyer, and Nicolas Markey. "Shrinking timed automata." Information and Computation 234 (February 2014): 107–32. http://dx.doi.org/10.1016/j.ic.2014.01.002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Timed automata"

1

Carlier, Pierre. "Verification of Stochastic Timed Automata." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLN058/document.

Full text
Abstract:
La vérification est maintenant une branche très connue des sciences informatiques. Elle est cruciale lorsque l'on a affaire à des programmes informatiques dans des systèmes automatiques : on veut vérifier si un système donné est correct et s'il satisfait des propriétés nécessaires à son bon fonctionnement. Une façon d'analyser ces systèmes se fait par la modélisation mathématique. La question est alors : peut-on vérifier si le modèle satisfait les propriétés requises ? C'est ce que l'on appelle le problème du model-checking. Plusieurs modèles ont été étudiés dans la littérature. Nous portons n
APA, Harvard, Vancouver, ISO, and other styles
2

Park, Young-Saeng. "Automatic schedule computation for distributed real-time systems using timed automata." Thesis, Northumbria University, 2008. http://nrl.northumbria.ac.uk/745/.

Full text
Abstract:
The time-triggered architecture is becoming accepted as a means of implementing scalable, safer and more reliable solutions for distributed real-time systems. In such systems, the execution of distributed software components and the communication of messages between them take place in a fixed pattern and are scheduled in advance within a given scheduling round by a global scheduling policy. The principal obstacle in the design of time-triggered systems is the difficulty of finding the static schedule for all resources which satisfies constraints on the activities within the scheduling round, s
APA, Harvard, Vancouver, ISO, and other styles
3

Amnell, Tobias. "Code synthesis for timed automata." Licentiate thesis, Uppsala universitet, Avdelningen för datorteknik, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-86154.

Full text
Abstract:
In this thesis, we study executable behaviours of timed models. The focus is on synthesis of executable code with predictable behaviours from high level abstract models. We assume that a timed system consists of two parts: the control software and the plant (i.e. the environment to be controlled). Both are modelled as timed automata extended with real time tasks. We consider the extended timed automata as design models. We present a compilation procedure to transform design models to executable code including a run-time scheduler (run time system) preserving the correctness and schedulability
APA, Harvard, Vancouver, ISO, and other styles
4

Trivedi, Ashutosh. "Competative optimisation on timed automata." Thesis, University of Warwick, 2009. http://wrap.warwick.ac.uk/2243/.

Full text
Abstract:
Timed automata are finite automata accompanied by a finite set of real-valued variables called clocks. Optimisation problems on timed automata are fundamental to the verification of properties of real-time systems modelled as timed automata, while the control-program synthesis problem of such systems can be modelled as a two-player game. This thesis presents a study of optimisation problems and two-player games on timed automata under a general heading of competitive optimisation on timed automata. This thesis views competitive optimisation on timed automata as a multi-stage decision process,
APA, Harvard, Vancouver, ISO, and other styles
5

Sankur, Ocan. "Robustness in timed automata : analysis, synthesis, implementation." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2013. http://tel.archives-ouvertes.fr/tel-00910333.

Full text
Abstract:
Timed automata are a formalism to model, verify, and synthesize real-time systems. They have the advantage of having an abstract mathematical semantics, which allow formalizing and solving several verification and synthesis problems. However, timed automata are intended to design models, rather than completely describe real systems. Therefore, once the design phase is over, it remains to check whether the behavior of an actual implementation corresponds to that of the timed automaton model. An important step before implementing a system design is ensuring its robustness. This thesis considers
APA, Harvard, Vancouver, ISO, and other styles
6

Ericsson, Ann-Marie. "Deriving ECA-rules from timed-automata specifications." Thesis, University of Skövde, Department of Computer Science, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-655.

Full text
Abstract:
<p>Real-time systems are required to answer to external stimuli within a specified time-period. For this to be possible, the systems behaviour must be predictable. The use of active databases in real-time systems introduces unpredictability in the system, e.g. due to their use of active rules. The behaviour in active databases is usually specified in ECA-rules. Sets of ECA-rules are hard to analyse, which implies that the behaviour of the ECA-rule set is hard to predict.</p><p>The purpose of this project is to evaluate the ability to support the development of a predictable ECA-rule set. Using
APA, Harvard, Vancouver, ISO, and other styles
7

Nehme, Carl 1981. "The VAT tool : automatic transformation of VHDL to timed automata." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/17790.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2004.<br>Includes bibliographical references (leaves 61-66).<br>Embedded systems have become an integral part of the systems we use today. These types of systems are constrained by both stringent time requirements and limited resource availability. Traditionally, high-integrity embedded systems operated on well understood hardware platforms. The emergence of inexpensive FPGAs (Field Programmable Gate Arrays) and ASICs (Application Specific Integrated Circuits) as operational platforms for embedded soft
APA, Harvard, Vancouver, ISO, and other styles
8

Hagman, Mikael. "Instrumentation of timed automata for formal verification of timed properties." Thesis, Linköping University, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9861.

Full text
Abstract:
<p>Embedded systems are used in many technical products of today. The tendency also points to the fact that they are in many ways becoming more and more complex as technology advances. Systems like advanced avionics, air bags, ABS brakes or any real-time embedded system requires reliability, correctness and timeliness. This puts hard pressure on designers, analyzers and developers. The need for high performance and non failing systems has therefore led to a growing interest in modeling and verification of component-based embedded systems in order to reduce costs and simplify design and develop
APA, Harvard, Vancouver, ISO, and other styles
9

Mavrommatis, Panayiotis P. "Simulation of timed input/output automata." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/36395.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2006.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Includes bibliographical references (p. 73-74).<br>This Master of Engineering Thesis describes the design, implementation, and usage of the TIOA Simulator. The TIOA Simulator, along with the other components of the TIOA Toolset aims to provide a framework for developing dependable distributed systems. The project is based on the
APA, Harvard, Vancouver, ISO, and other styles
10

Widerberg, Ernst. "A Modeling Language for Timed Automata." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-291554.

Full text
Abstract:
This work details the design and implementation of a modeling language for timed automata. The primary intended use of the language TML is as an interface to controller synthesis system m2mc, which is being developed in a current KTH/Chalmers research project. TML is evaluated by a qualitative comparison with the modeling languages of two well-known model checking tools: Uppaal and Kronos. Two example systems (Fischer’s mutual exclusion protocol and CSMA/CD) are implemented in all three languages, to discover the relative merits of each language. Although not as feature rich as Uppaal, TML bri
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Timed automata"

1

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-031-02003-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Penczek, Wojciech, and Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-32870-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jansen, Nils, Mariëlle Stoelinga, and Petra van den Bos, eds. A Journey from Process Algebra via Timed Automata to Model Learning. Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-15629-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Rodolfo, Gomez, ed. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. Springer, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

1957-, Larsen K. G., and Niebert Peter, eds. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

FORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

FORMATS 2004 (2004 Grenoble, France). Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

FORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Fahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Timed automata"

1

Bouyer, Patricia. "Timed automata." In Handbook of Automata Theory. European Mathematical Society Publishing House, 2021. http://dx.doi.org/10.4171/automata-1/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Alur, Rajeev. "Timed Automata." In Verification of Digital and Hybrid Systems. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-642-59615-5_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. "Timed Automata." In The Theory of Timed I/O Automata. Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bérard, Béatrice, Michel Bidoit, Alain Finkel, et al. "Timed Automata." In Systems and Software Verification. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04558-9_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Alur, Rajeev. "Timed Automata." In Computer Aided Verification. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48683-6_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kaynar, Dilsun K., Nancy Lynch, Roberto Segala, and Frits Vaandrager. "Timed Automata." In The Theory of Timed I/O Automata. Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-031-02003-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sankur, Ocan. "Timed Automata Verification and Synthesis via Finite Automata Learning." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_21.

Full text
Abstract:
AbstractWe present algorithms for model checking and controller synthesis of timed automata, seeing a timed automaton model as a parallel composition of a large finite-state machine and a relatively smaller timed automaton, and using compositional reasoning on this composition. We use automata learning algorithms to learn finite automata approximations of the timed automaton component, in order to reduce the problem at hand to finite-state model checking or to finite-state controller synthesis. We present an experimental evaluation of our approach.
APA, Harvard, Vancouver, ISO, and other styles
8

Bérard, Beatrice, and Serge Haddad. "Interrupt Timed Automata." In Foundations of Software Science and Computational Structures. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00596-1_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Li, Guoqiang, Xiaojuan Cai, Mizuhito Ogawa, and Shoji Yuen. "Nested Timed Automata." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40229-6_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Trivedi, Ashutosh, and Dominik Wojtczak. "Recursive Timed Automata." In Automated Technology for Verification and Analysis. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15643-4_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Timed automata"

1

Wallner, Felix, Bernhard K. Aichernig, Florian Lorber, and Martin Tappler. "Mutating Skeletons: Learning Timed Automata via Domain Knowledge." In 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2025. https://doi.org/10.1109/icstw64639.2025.10962513.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Pastore, Fabrizio, Daniela Micucci, and Leonardo Mariani. "Timed k-Tail: Automatic Inference of Timed Automata." In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). IEEE, 2017. http://dx.doi.org/10.1109/icst.2017.43.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jenkin, Mark, Joël Ouaknine, Alexander Rabinovich, and James Worrell. "Alternating Timed Automata over Bounded Time." In 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010). IEEE, 2010. http://dx.doi.org/10.1109/lics.2010.45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Cao, Yizhen, Zhiying Duan, and Yongbin Wang. "Uninterrupted Automatic Broadcasting Based on Timed Automata." In 2015 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI). IEEE, 2015. http://dx.doi.org/10.1109/acit-csi.2015.93.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Abdulla, Parosh Aziz, Mohamed Faouzi Atig, and Jari Stenman. "Dense-Timed Pushdown Automata." In 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012). IEEE, 2012. http://dx.doi.org/10.1109/lics.2012.15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Clemente, Lorenzo, and Slawomir Lasota. "Timed Pushdown Automata Revisited." In 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.73.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

David, Alexandre, Kim G. Larsen, Axel Legay, Ulrik Nyman, and Andrzej Wasowski. "Timed I/O automata." In the 13th ACM international conference. ACM Press, 2010. http://dx.doi.org/10.1145/1755952.1755967.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lampka, Kai, Simon Perathoner, and Lothar Thiele. "Analytic real-time analysis and timed automata." In the seventh ACM international conference. ACM Press, 2009. http://dx.doi.org/10.1145/1629335.1629351.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Berard, Beatrice, Serge Haddad, and Mathieu Sassolas. "Real Time Properties for Interrupt Timed Automata." In 2010 17th International Symposium on Temporal Representation and Reasoning (TIME 2010). IEEE, 2010. http://dx.doi.org/10.1109/time.2010.11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Chen, Taolue, Tingting Han, and Joost-Pieter Katoen. "Time-Abstracting Bisimulation for Probabilistic Timed Automata." In 2008 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2008. http://dx.doi.org/10.1109/tase.2008.29.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Timed automata"

1

Archer, Myla, and Constance Heitmeyer. Mechanical Verification of Timed Automata: A Case Study. Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada359891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Seshia, Sanjit A., and Randal E. Bryant. A Boolean Approach to Unbounded, Fully Symbolic Model Checking of Timed Automata. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada460035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ouaknine, Joel, and James Worrell. On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada461167.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Archer, Myla. Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies. Defense Technical Information Center, 1999. http://dx.doi.org/10.21236/ada361638.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cleveland, Gary A., Richard L. Piazza, and Richard H. Brown. Real Time Automatic Programming. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada220162.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pasupuleti, Murali Krishna. Automated Smart Contracts: AI-powered Blockchain Technologies for Secure and Intelligent Decentralized Governance. National Education Services, 2025. https://doi.org/10.62311/nesx/rrv425.

Full text
Abstract:
Abstract: Automated smart contracts represent a paradigm shift in decentralized governance by integrating artificial intelligence (AI) with blockchain technologies to enhance security, scalability, and adaptability. Traditional smart contracts, while enabling trustless and automated transactions, often lack the flexibility to adapt to dynamic regulatory frameworks, evolving economic conditions, and real-time security threats. AI-powered smart contracts leverage machine learning, reinforcement learning, and predictive analytics to optimize contract execution, detect fraudulent transactions, and
APA, Harvard, Vancouver, ISO, and other styles
7

Videa, Aldo, and Yiyi Wang. Inference of Transit Passenger Counts and Waiting Time Using Wi-Fi Signals. Western Transportation Institute, 2021. http://dx.doi.org/10.15788/1715288737.

Full text
Abstract:
Passenger data such as real-time origin-destination (OD) flows and waiting times are central to planning public transportation services and improving visitor experience. This project explored the use of Internet of Things (IoT) Technology to infer transit ridership and waiting time at bus stops. Specifically, this study explored the use of Raspberry Pi computers, which are small and inexpensive sets of hardware, to scan the Wi-Fi networks of passengers’ smartphones. The process was used to infer passenger counts and obtain information on passenger trajectories based on Global Positioning Syste
APA, Harvard, Vancouver, ISO, and other styles
8

Jackson, Richard Henry Frymuth, and Albert Jones. Real-time optimization in automated manufacturing facilities. National Bureau of Standards, 1986. http://dx.doi.org/10.6028/nbs.sp.724.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kuruganti, Teja, Olufemi Omitaomu, Ozgur Ozmen, et al. Real-Time Automated Health Information Technology Hazard Detection. Office of Scientific and Technical Information (OSTI), 2019. http://dx.doi.org/10.2172/1615805.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Berney, Ernest, Jami Lynn Daugherty, and Lulu Edwards. Validation of the automatic dynamic cone penetrometer. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/44704.

Full text
Abstract:
The U.S. military requires a rapid means of measuring subsurface soil strength for construction and repair of expeditionary pavement surfaces. Traditionally, a dynamic cone penetrometer (DCP) has served this purpose, providing strength with depth profiles in natural and prepared pavement surfaces. To improve upon this device, the Engineer Research and Development Center (ERDC) validated a new battery-powered automatic dynamic cone penetrometer (A-DCP) apparatus that automates the driving process by using a motor-driven hammering cap placed on top of a traditional DCP rod. The device improves u
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Timed automata' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography