Log in

Relevant bibliographies by topics / TIMED BEHAVIOR

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'TIMED BEHAVIOR'

Author: Grafiati

Published: 10 March 2023

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 BEHAVIOR.'

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 BEHAVIOR"

1

PETERS, J. F., and S. RAMANNA. "MODELING TIMED BEHAVIOR IN REAL-TIME SYSTEMS WITH TEMPORAL LOGIC." Cybernetics and Systems 22, no. 5 (September 1991): 583–608. http://dx.doi.org/10.1080/01969729108902301.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

NAKATA, AKIO, TADAAKI TANIMOTO, SUGURU SASAKI, and TERUO HIGASHINO. "A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA." International Journal of Foundations of Computer Science 17, no. 04 (August 2006): 833–49. http://dx.doi.org/10.1142/s0129054106004133.

Full text

Abstract:

In the development of real-time communicating hardware/embedded-software systems, it is frequently the case that we want to refine/optimize the system's internal behavior while preserving the external timed I/O behavior. In such a design refinement, modification of the systems' internal branching structures, as well as re-scheduling of internal actions, may frequently occur. Our goal is, then, to ensure that such modification of internal branching structures and re-scheduling of internal actions preserve the systems' external timed behavior, which is typically formalized by the notion of (timed) failure equivalence since it is less sensitive to the difference of internal branching structures than (timed) weak bisimulation. In order to know the degree of freedom of such re-scheduling, parametric analysis is useful. One of the models suitable for such an analysis is a parametric time-interval automaton(PTIA), which is a subclass of the existing model, a parametric timed automaton. It has only a time interval with upper- and lower-bound parameters as a relative timing constraint between consecutive actions. In this paper, at first, we propose an abstraction algorithm of PTIA which preserves timed failure equivalence. Timed failure equivalence is strictly weaker than timed weak bisimulation in the sense that it does not distinguish the difference of the timing when the internal resolution of nondeterminism has occurred, but it does distinguish the difference of the refusals of communicating actions observed by an external environment. Then, we also show that after applying our algorithm, the reduced PTIA has no internal actions, and thus the problem deriving a parameter condition in order that given two models are timed failure equivalent can be reduced to the existing parametric strong bisimulation equivalence checking.

APA, Harvard, Vancouver, ISO, and other styles

3

Tosun, Tuğçe, Ezgi Gür, and Fuat Balcı. "Mice plan decision strategies based on previously learned time intervals, locations, and probabilities." Proceedings of the National Academy of Sciences 113, no. 3 (January 5, 2016): 787–92. http://dx.doi.org/10.1073/pnas.1518316113.

Full text

Abstract:

Animals can shape their timed behaviors based on experienced probabilistic relations in a nearly optimal fashion. On the other hand, it is not clear if they adopt these timed decisions by making computations based on previously learnt task parameters (time intervals, locations, and probabilities) or if they gradually develop their decisions based on trial and error. To address this question, we tested mice in the timed-switching task, which required them to anticipate when (after a short or long delay) and at which of the two delay locations a reward would be presented. The probability of short trials differed between test groups in two experiments. Critically, we first trained mice on relevant task parameters by signaling the active trial with a discriminative stimulus and delivered the corresponding reward after the associated delay without any response requirement (without inducing switching behavior). During the test phase, both options were presented simultaneously to characterize the emergence and temporal characteristics of the switching behavior. Mice exhibited timed-switching behavior starting from the first few test trials, and their performance remained stable throughout testing in the majority of the conditions. Furthermore, as the probability of the short trial increased, mice waited longer before switching from the short to long location (experiment 1). These behavioral adjustments were in directions predicted by reward maximization. These results suggest that rather than gradually adjusting their time-dependent choice behavior, mice abruptly adopted temporal decision strategies by directly integrating their previous knowledge of task parameters into their timed behavior, supporting the model-based representational account of temporal risk assessment.

APA, Harvard, Vancouver, ISO, and other styles

4

Niggemann, Oliver, Benno Stein, Asmir Vodencarevic, Alexander Maier, and Hans Kleine Büning. "Learning Behavior Models for Hybrid Timed Systems." Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (September 20, 2021): 1083–90. http://dx.doi.org/10.1609/aaai.v26i1.8296.

Full text

Abstract:

A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algorithmic learning of a system’s behavior model given a sample of observations. In particular, we consider real-world production plants where the learned model must capture timing behavior, dependencies between system variables, as well as mode switches—in short: hybrid system’s characteristics. Usually, such model formation tasks are solved by human engineers, entailing the well-known bunch of problems including knowledge acquisition, development cost, or lack of experience. Our contributions to the outlined field are as follows. (1) We present a taxonomy of learning problems related to model formation tasks. As a result, an important open learning problem for the domain of production system is identified: The learning of hybrid timed automata. (2) For this class of models, the learning algorithm HyBUTLA is presented. This algorithm is the first of its kind to solve the underlying model formation problem at scalable precision. (3) We present two case studies that illustrate the usability of this approach in realistic settings. (4) We give a proof for the learning and runtime properties of HyBUTLA.

APA, Harvard, Vancouver, ISO, and other styles

5

Zhang, Yihuan, Qin Lin, Jun Wang, and Sicco Verwer. "Car-following Behavior Model Learning Using Timed Automata." IFAC-PapersOnLine 50, no. 1 (July 2017): 2353–58. http://dx.doi.org/10.1016/j.ifacol.2017.08.423.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Mathes, M. Todd, Scott G. Hinch, Steven J. Cooke, Glenn T. Crossin, David A. Patterson, Andrew G. Lotto, and Anthony P. Farrell. "Effect of water temperature, timing, physiological condition, and lake thermal refugia on migrating adult Weaver Creek sockeye salmon (Oncorhynchus nerka)." Canadian Journal of Fisheries and Aquatic Sciences 67, no. 1 (January 2010): 70–84. http://dx.doi.org/10.1139/f09-158.

Full text

Abstract:

We coupled physiological biopsy and positional telemetry to examine survival to reach spawning grounds in relation to water temperature, timing, physiological condition, and holding location (river or lake) in adult migrating sockeye salmon ( Oncorhynchus nerka ). We tracked 83 fish across a large temperature range (13.5–21.5 °C), which included record highs. Only early-timed migrants that held in Harrison Lake survived to reach spawning grounds (16%, or n = 4). Normal-timed fish, those that migrated at historically observed times, survived at higher levels if they held in Harrison River (72%, or n = 18). Mortalities were identified on the bottoms of both the lake and river. Hypothetical degree-day (DD) accumulation revealed that early-timed river fish would have greatly surpassed (~800 °C DD) a critical disease threshold value (~500 °C DD). There was no difference in hypothetical DD accumulation between normal-timed river fish and early-timed lake fish. Early-timed sockeye had elevated physiological stress (e.g., plasma lactate, glucose, and hematocrit), which may have contributed to high levels of mortality. By using lakes as thermal refugia, early-timed fish likely reduce rates of disease development and may better recover from physiological stress associated with high encountered temperatures.

APA, Harvard, Vancouver, ISO, and other styles

7

Brasic, James Robert, Jacqueline Y. Barnett, Seok Cheol Ahn, Robert H. Nadrich, Michael V. Will, and Andrea Clair. "Clinical Assessment of Self-Injurious Behavior." Psychological Reports 80, no. 1 (February 1997): 155–60. http://dx.doi.org/10.2466/pr0.1997.80.1.155.

Full text

Abstract:

The Timed Self-injurious Behavior Scale is an observational scale rating the frequency of 16 types of self-injurious behaviors during each 10-sec. interval of a 10-min. observation period. Advantages of the scale are utilization of direct observation and independence from the variable recollection of symptoms by subjects and care givers. 19 videotaped sessions of a subject who exhibited eight types of self-injurious behaviors were rated with the scale independently by three raters. Eighty percent and better agreement was found for the four specific forms of those behaviors exhibited by the subject sufficiently frequently, self biting, head punching, head slapping, and hair removal.

APA, Harvard, Vancouver, ISO, and other styles

8

Kim, Ja-Hee. "An Asymptotic Cyclicity Analysis of Live Autonomous Timed Event Graphs." Applied Sciences 11, no. 11 (May 22, 2021): 4769. http://dx.doi.org/10.3390/app11114769.

Full text

Abstract:

Designing a discrete event system converging to steady temporal patterns is an essential issue of a system with time window constraints. Until now, to analyze asymptotic stability, we have modeled a timed event graph’s dynamic behavior, transformed it into the matrix form of (max,+) algebra, and then constructed a precedence graph. This article’s aim is to provide a theoretical basis for analyzing the stability and cyclicity of timed event graphs without using (max,+) algebra. In this article, we propose converting one timed event graph to another with a dynamic behavior equivalent to that of the original without going through the conversion process. This paper also guarantees that the derived final timed event graph has the properties of a precedence graph. It then investigates the relationship between the properties of the derived precedence graph and that of the original timed event graph. Finally, we propose a method to analyze asymptotic cyclicity and stability for a given timed event graph by itself. The analysis this article provides makes it easy to analyze and improve asymptotic time patterns of tasks in a given discrete event system modeled with a live autonomous timed event graph such as repetitive production scheduling.

APA, Harvard, Vancouver, ISO, and other styles

9

Colvin, Robert, Lars Grunske, and Kirsten Winter. "Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems." Journal of Systems and Software 81, no. 12 (December 2008): 2163–82. http://dx.doi.org/10.1016/j.jss.2008.04.035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Ferringer, Markus. "On Self-Timed Circuits in Real-Time Systems." International Journal of Reconfigurable Computing 2011 (2011): 1–16. http://dx.doi.org/10.1155/2011/972375.

Full text

Abstract:

While asynchronous logic has many potential advantages compared to traditional synchronous designs, one of the major drawbacks is its unpredictability with respect to temporal behavior. Having no high-precision oscillator, a self-timed circuit's execution speed is heavily dependent on temperature and supply voltage. Small fluctuations of these parameters already result in noticeable changes of the design's throughput and performance. Without further provisions this jitter makes the use of asynchronous logic hardly feasible for real-time applications. We investigate the temporal characteristics of self-timed circuits regarding their usage in real-time systems, especially the Time-Triggered Protocol. We propose a simple timing model and elaborate a self-adapting circuit which shall derive a suitable notion of time for both bit transmission and protocol execution. We further introduce and analyze our jitter compensation concept, which is a threefold mechanism to keep the asynchronous circuit's notion of time tightly synchronized to the remaining communication participants. To demonstrate the robustness of our solution, we perform different tests and investigate their impact on jitter and frequency stability.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "TIMED BEHAVIOR"

1

Maier, Alexander [Verfasser]. "Identification of timed behavior models for diagnosis in production systems / Alexander Maier." Paderborn : Universitätsbibliothek, 2015. http://d-nb.info/1068255609/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Amer, Ahmed. "Statistical and Behavioral Modeling of Driver Behavior on Signalized Intersection Approaches." Diss., Virginia Tech, 2010. http://hdl.handle.net/10919/77995.

Full text

Abstract:

The onset of a yellow indication is typically associated with the risk of vehicle crashes resulting from dilemma-zone and red-light-running problems. Such risk of vehicle crashes is greater for high-speed signalized intersection approaches. The research presented in this dissertation develops statistical as well as behavioral frameworks for modeling driver behavior while approaching high-speed signalized intersection approaches at the onset of a yellow indication. The analysis in this dissertation utilizes two sources of data. The main source is a new dataset that was collected as part of this research effort during the summer of 2008. This experiment includes two instructed speeds; 72.4 km/h (45 mph) with 1727 approaching trials (687 running and 1040 stopping), and 88.5 km/h (55 mph) with 1727 approaching trials (625 running and 1102 stopping). The complementary source is an existing dataset that was collected earlier in the spring of 2005 on the Virginia Smart Road facility. This dataset includes a total of 1186 yellow approaching trials (441 running and 745 stopping). The adopted analysis approach comprises four major parts that fulfill the objectives of this dissertation. The first part is concerned with the characterization of different driver behavioral attributes, including driver yellow/red light running behavior, driver stop-run decisions, driver perception-reaction times (PRT), and driver deceleration levels. The characterization of these attributes involves analysis of variance (ANOVA) and frequency distribution analyses, as well as the calibration of statistical models. The second part of the dissertation introduces a novel approach for computing the clearance interval duration that explicitly accounts for the reliability of the design (probability that drivers do not encounter a dilemma zone). Lookup tables are developed to assist practitioners in the design of yellow timings that reflects the stochastic nature of driver PRT and deceleration levels. An extension of the proposed approach is presented that can be integrated with the IntelliDriveSM initiative. Furthermore, the third part of the dissertation develops an agent-based Bayesian statistics approach to capture the stochastic nature of the driver stop-run decision. The Bayesian model parameters are calibrated using the Markov Chain Monte Carlo (MCMC) slice procedure implemented within the MATLAB® software. In addition, two procedures for the Bayesian model application are illustrated; namely Cascaded regression and Cholesky decomposition. Both procedures are demonstrated to produce replications that are consistent with the Bayesian model realizations, and capture the parameter correlations without the need to store the set of parameter realizations. The proposed Bayesian approach is ideal for modeling multi-agent systems in which each agent has its own unique set of parameters. Finally, the fourth part of the dissertation introduces and validates a state-of-the-art behavioral modeling framework that can be used as a tool to simulate driver behavior after the onset of a yellow indication until he/she reaches the intersection stop line. The behavioral model is able to track dilemma zone drivers and update the information available to them every time step until they reach a final decision. It is anticipated that this behavioral model will be implemented in microscopic traffic simulation software to enhance the modeling of driver behavior as they approach signalized intersections.
Ph. D.

APA, Harvard, Vancouver, ISO, and other styles

3

Edmiston, William Jr. "The Effects of Time-Compression on Recall Utilizing a Videotape Presentation." TopSCHOLAR®, 1986. https://digitalcommons.wku.edu/theses/2289.

Full text

Abstract:

Three population samples of college students were found to be similar on two stratifying variables, general intelligence and knowledge of conditioning principles, before viewing a time-compressed or non-compressed videotape presentation. The amount of unprompted information recalled did not differ significantly between the time-compressed and non-compressed treatment conditions. Additionally, neither treatment condition differed significantly on a multiple-choice posttest, although both groups did differ significantly from a control group that did not view the videotape. No significant difference was found between the time-compressed and non-compressed groups on their ratings of Quality of Narrator, Interest Level of Topic, and Overall Quality of Videotape Presentation. The time-compressed group rated their presentation as significantly faster than the non-compressed group.

APA, Harvard, Vancouver, ISO, and other styles

4

Daugherty, James R. "Time perception’s effect on individual differences and behavior: the mediating role of impulsivity on the relationship between time perception and intertemporal health behaviors." Diss., Kansas State University, 2011. http://hdl.handle.net/2097/9164.

Full text

Abstract:

Doctor of Philosophy
Department of Psychology
Gary L. Brase
This research tested a general mediation model which proposes that individual differences (e.g., impulsivity, delay discounting, and time orientation) mediate the relationship between time perception (one’s subjective experience of the passage of time relative to actual time) and intertemporal behavior (decision-making involving tradeoffs between costs and rewards in both the present and the future). Study I did not find evidence to support the general mediation model and found that time perception was only weakly correlated with individual differences and intertemporal behavior (average r = .06) . Study II found tentative support for the proposed mediation model: individual differences in impulsivity fully mediated the relationship between time perception and intertemporal behavior in 4 separate mediation models. Three additional mediation models met the assumptions of mediation, demonstrating indirect effects significantly different from zero, but did not fully mediate the relationship between time perception and intertemporal behavior. In general, the mediation models explored in Study II (both fully and partially mediated) suggest that self-report impulsivity mediates the relationship between time perception and intertemporal health behaviors, like hours of sleep slept per night, sociosexual orientation, and frequency of eating breakfast. The findings from Study II suggest that how time is perceived influences intertemporal behavior indirectly by influencing impulsivity. Guidelines to aid future research linking time perception to individual differences and intertemporal behavior are provided.

APA, Harvard, Vancouver, ISO, and other styles

5

Dascaliuc, Radu. "Backward time behavior of dissipative PDE." Texas A&M University, 2005. http://hdl.handle.net/1969.1/4940.

Full text

Abstract:

We study behavior for negative times t of the 2D periodic Navier-Stokes equations and Burgers' original model for turbulence. Both systems are proved to have rich sets of solutions that exist for all t - R and increase exponentially as t -> -(Infinity) However, our study shows that the behavior of these solutions as well as the geometrical structure of the sets of their initial data are very different. As a consequence, Burgers original model for turbulence becomes the first known dissipative system that despite possessing a rich set of backward-time exponentially growing solutions, does not display any similarities, as t -> -(Infinity), to the linear case.

APA, Harvard, Vancouver, ISO, and other styles

6

Ibrahim, Mohamed El Hady M. "An Examination of an Integrative Expectancy Model for Auditors' Performance Behaviors Under Time Budget Pressure." Thesis, North Texas State University, 1985. https://digital.library.unt.edu/ark:/67531/metadc331382/.

Full text

Abstract:

In recent years there has been a growing use of expectancy theory to study motivation and performance in accounting environments. Such research efforts have resulted in reporting some inconsistent findings and low explanatory power for the expectancy model. In an attempt to increase the explanatory power of the model, several researchers have suggested the inclusion of nonexpectancy components in the model. This research was undertaken to develop an integrative expectancy model by incorporating some elements of goal setting theory and attribution theory into the expectancy formulation. The study was also designed to provide empirical evidence on the validity of a within-subject design of the proposed model through an empirical investigation of auditors* performance behaviors to meet budgeted time in public accounting firms. Alternative performance behaviors to meet budgeted time were modeled in three choice processes. The first deals with auditors choice to report unfiltered time (i.e. report actual time worked) as opposed to filtered time worked (i.e., underreporting and sign-off behaviors). The second process deals with auditors' choice to engage in underreporting as opposed to sign-off behaviors. The third process deals with auditors' choice to reduce or overrule some audit procedures based on professional judgment. Data were collected using an anonymous questionnaire from a sample of auditors at the staff, senior, and supervisory staff levels of fifty-three national, regional and local accounting firms in the Dallas- Fort Worth area. Data received from 671 participants were analyzed using th Automatic Interaction Detector (AID3) and multiple regression techniques. The findings of this research support the expectancy formulation and its relevancy to the accounting environments. However, five nonexpectancy variables were found to have significant relationships with auditors' choice processes to meet budgeted time. These five variables were supervision, budget feasibility, length of experience, organizational level and firm size classification.

APA, Harvard, Vancouver, ISO, and other styles

7

Heacock, Jessica Lynn. "The Effects of a Modified Time Delay Procedure on Intraverbal Responding." The Ohio State University, 2013. http://rave.ohiolink.edu/etdc/view?acc_num=osu1374194687.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Parthey, Daniel. "Analyzing Real-Time Behavior of Flash Memories." Master's thesis, Universitätsbibliothek Chemnitz, 2007. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200700459.

Full text

Abstract:

Flash memories are used as the main storage in many portable consumer electronic devices because they are more robust than hard drives. This document gives an overview of existing consumer flash memory technologies which are mostly removable flash memory cards. It discusses to which degree consumer flash devices are suitable for real-time systems and provides a detailed timing analysis of some consumer flash devices. Further, it describes methods to analyze mount times, access performance and timing predictability of flash memories. Important factors which influence access timings of flash memories are pointed out and different flash file systems are evaluated with regard to their suitability for real-time systems. Some remaining problems of existing flash file system implementations concerning real-time use are discussed.

APA, Harvard, Vancouver, ISO, and other styles

9

Shams, Mohamed Khalil. "Time-dependent behavior of high-performance concrete." Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/20682.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Hallberg, Daniel Klevmarken Anders Johansson Per. "Essays on household behavior and time-use /." Uppsala : Dept. of Economics, Uppsala University, 2002. http://www.loc.gov/catdir/toc/fy042/2003504326.html.

Full text

Abstract:

Thesis (doctoral)--Uppsala universitet, 2002.
"Essay 2 (with Anders Klevmarken) ... Essay 4 (with Per Johansson)"--Abstract. Added t.p. with thesis statement inserted. Includes bibliographical references.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "TIMED BEHAVIOR"

1

Feeling tired all the time. Dublin: Newleaf, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Feeling tired all the time. Dublin: Gill & Macmillan, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Michon, John A., and Janet L. Jackson, eds. Time, Mind, and Behavior. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70491-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

1935-, Michon John A., Jackson Janet L, and International Workshop on Time, Mind, and Behavior (1984 : University of Groningen), eds. Time, mind, and behavior. Berlin: Springer-Verlag, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Michon, John A. Time, Mind, and Behavior. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Robert, Burton. Bird behavior. Edited by Burton Jane and Taylor Kim 1933-. New York, N.Y: Knopf, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Rich, Lani Diane. Time off for good behavior. New York: Warner Books, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Sussman, Susan. Time off from good behavior. New York: Pocket Books, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Time off from good behavior. Boston, Mass: G.K. Hall, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Sussman, Susan. Time off from good behavior. New York: Pocket Books, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "TIMED BEHAVIOR"

1

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Probst, David K., and Hon F. Li. "Verifying timed behavior automata with nonbinary delay constraints." In Computer Aided Verification, 123–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56496-9_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Maximova, Maria, Sven Schneider, and Holger Giese. "Compositional Analysis of Probabilistic Timed Graph Transformation Systems." In Fundamental Approaches to Software Engineering, 196–217. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_10.

Full text

Abstract:

AbstractThe analysis of behavioral models is of high importance for cyber-physical systems, as the systems often encompass complex behavior based on e.g. concurrent components with mutual exclusion or probabilistic failures on demand. The rule-based formalism of probabilistic timed graph transformation systems is a suitable choice when the models representing states of the system can be understood as graphs and timed and probabilistic behavior is important. However, model checking PTGTSs is limited to systems with rather small state spaces.We present an approach for the analysis of large-scale systems modeled as probabilistic timed graph transformation systems by systematically decomposing their state spaces into manageable fragments. To obtain qualitative and quantitative analysis results for a large-scale system, we verify that results obtained for its fragments serve as overapproximations for the corresponding results of the large-scale system. Hence, our approach allows for the detection of violations of qualitative and quantitative safety properties for the large-scale system under analysis. We consider a running example in which we model shuttles driving on tracks of a large-scale topology and for which we verify that shuttles never collide and are unlikely to execute emergency brakes. In our evaluation, we apply an implementation of our approach to the running example.

APA, Harvard, Vancouver, ISO, and other styles

4

Probst, David K., and Hon F. Li. "Verifying timed behavior automata with input/output critical races." In Computer Aided Verification, 424–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56922-7_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Mansoor, Faisal, Abbas K. Zaidi, Lee Wagenhals, and Alexander H. Levis. "Meta-modeling the Cultural Behavior Using Timed Influence Nets." In Social Computing and Behavioral Modeling, 1–9. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0056-2_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

André, Étienne, Masaki Waga, Natuski Urabe, and Ichiro Hasuo. "Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior." In Lecture Notes in Computer Science, 470–88. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-06773-0_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Naik, Kshirasagar. "Design of Reliable Architecture for Testing Timed Behavior of OSI Protocols." In IFIP Advances in Information and Communication Technology, 121–36. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-0-387-34867-4_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Santos, Adriano A., António Ferreira da Silva, and Filipe Pereira. "Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach." In Innovations in Mechatronics Engineering II, 72–85. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-09385-2_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Oldenburg, Ian Antón, Hayley Anne Bounds, and Nicolas C. Pégard. "High-Speed All-Optical Neural Interfaces with 3D Temporally Focused Holography." In Neuromethods, 101–35. New York, NY: Springer US, 2023. http://dx.doi.org/10.1007/978-1-0716-2764-8_4.

Full text

Abstract:

AbstractUnderstanding brain function requires technologies that can monitor and manipulate neural activity with cellular resolution and millisecond precision in three dimensions across large volumes. These technologies are best designed using interdisciplinary approaches combining optical techniques with reporters and modulators of neural activity. While advances can be made by separately improving optical resolution or opsin effectiveness, optimizing both systems together matches the strengths and constraints of different approaches to create a solution optimized for the needs of neuroscientists. To achieve this goal, we first developed a new multiphoton photoexcitation method, termed 3D-Scanless Holographic Optogenetics with Temporal focusing (3D-SHOT), that enables simultaneous photoactivation of arbitrary sets of neurons in 3D. Our technique uses point-cloud holography to place multiple copies of a temporally focused disc, matched to the dimensions of a neuron’s cell body, anywhere within the operating volume of the microscope. However, since improved placement of light, on its own, is not sufficient to allow precise control of neural firing patterns, we also developed and tested optogenetic actuators ST-ChroME and ST-eGtACR1 that fully leverage the new experimental capabilities of 3D-SHOT. The synergy of fast opsins matched with our technology allows reliable, precisely timed control of evoked action potentials and enables on-demand read-write operations with unprecedented precision. In this chapter, we review the steps necessary to implement 3D-SHOT and provide a guide to selecting ideal opsins that will work with it. Such collaborative, interdisciplinary approaches will be essential to develop the experimental capabilities needed to gain causal insight into the fundamental principles of the neural code underlying perception and behavior.

APA, Harvard, Vancouver, ISO, and other styles

10

Park, David. "Brain Time and Mind Time." In Time, Mind, and Behavior, 53–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70491-8_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "TIMED BEHAVIOR"

1

Grunske, Lars, Kirsten Winter, and Robert Colvin. "Timed Behavior Trees and Their Application to Verifying Real-Time Systems." In 2007 Australian Software Engineering Conference (ASWEC'07). IEEE, 2007. http://dx.doi.org/10.1109/aswec.2007.49.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wan, Lu, and Deming Chen. "Analysis of circuit dynamic behavior with timed ternary decision diagram." In 2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2010. http://dx.doi.org/10.1109/iccad.2010.5653852.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Henkler, Stefan, Joel Greenyer, Martin Hirsch, Wilhelm Schafer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, and Holger Giese. "Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite." In 2009 IEEE 31st International Conference on Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/icse.2009.5070569.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Krejci, Lukas. "Programming autonomous behavior of AMM network data concentrator by timed automata." In 2015 IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS). IEEE, 2015. http://dx.doi.org/10.1109/idaacs.2015.7340731.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

He, Zhou, Zhiwu Li, and Alessandro Giua. "Stationary behavior of manufacturing systems modeled by timed weighted marked graphs." In TENCON 2016 - 2016 IEEE Region 10 Conference. IEEE, 2016. http://dx.doi.org/10.1109/tencon.2016.7848678.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Barakat, Kamal, Stefan Kowalewski, and Thomas Noll. "A Native Approach to Modeling Timed Behavior in the Pi-Calculus." In 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Takai, Shigemasa, and Shinzo Kodama. "On strongly controllable behavior in supervisory control of timed event graphs." In 1997 European Control Conference (ECC). IEEE, 1997. http://dx.doi.org/10.23919/ecc.1997.7082094.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Goli, Mehran, Jannis Stoppe, and Rolf Drechsler. "Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata." In 2017 IEEE 35th International Conference on Computer Design (ICCD). IEEE, 2017. http://dx.doi.org/10.1109/iccd.2017.65.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Benfekir, A., S. Hamaci, A. M. Darcherif, L. Laval, and M. Bouhamida. "On the nonlinear dynamic behavior of unrelaxed timed Petri nets in idempotent semirings." In 2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR). IEEE, 2013. http://dx.doi.org/10.1109/mmar.2013.6670010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Shan-Jun He, Fei Cheng, and Jian Luo. "Modeling and Implementing of an Automated Warehouse via Colored Timed Petri Nets; a Behavior Perspective." In 2007 IEEE International Conference on Control and Automation. IEEE, 2007. http://dx.doi.org/10.1109/icca.2007.4376877.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "TIMED BEHAVIOR"

1

Bradford, David, Charles Courtemanche, Garth Heutel, Patrick McAlvanah, and Christopher Ruhm. Time Preferences and Consumer Behavior. Cambridge, MA: National Bureau of Economic Research, July 2014. http://dx.doi.org/10.3386/w20320.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Skarsoulis, Emmanuel, Bruce Cornuelle, and Matthew Dzieciuch. Behavior and Sensitivity of Phase Arrival Times (PHASE). Fort Belvoir, VA: Defense Technical Information Center, September 2013. http://dx.doi.org/10.21236/ada598648.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Skarsoulis, Emmanuel, Bruce Cornuelle, and Matthew Dzieciuch. Behavior and Sensitivity of Phase Arrival Times (PHASE). Fort Belvoir, VA: Defense Technical Information Center, September 2014. http://dx.doi.org/10.21236/ada618123.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Barbacci, Mario R., and Jeannette M. Wing. Specifying Functional and Timing Behavior for Real-Time Applications. Fort Belvoir, VA: Defense Technical Information Center, December 1986. http://dx.doi.org/10.21236/ada178769.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

McGehee, Duncan E., Amatzia Genin, and Jules S. Jaffe. Swimming Behavior of Individual Zooplankters During Night-time Foraging. Fort Belvoir, VA: Defense Technical Information Center, September 1998. http://dx.doi.org/10.21236/ada536359.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

McGehee, Duncan E., Amatzia Genin, and Jules S. Jaffe. Swimming Behavior of Individual Zooplankters During Night-time Foraging. Fort Belvoir, VA: Defense Technical Information Center, September 1997. http://dx.doi.org/10.21236/ada629342.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Zimmerman, Emily, and Jana Smith. Behavioral tactics to support providers in offering quality care: Insights from provider behavior change research and practice. Population Council, 2022. http://dx.doi.org/10.31899/sbsr2022.1043.

Full text

Abstract:

This document offers a synthesis of insights from recent research and design activities conducted by ideas42 through Breakthrough RESEARCH, Breakthrough ACTION, and other projects across nine different low- and middle-income settings about the behavioral roots of challenges health care providers face in providing high quality services. We discuss how the physical and social environment in which they work and live sends signals to providers about what is important, how they can navigate difficulties, and how well they are performing. We discuss how experiences outside the health facility impact how providers approach their professional duties. We also discuss how pervasive time and resource constraints create a cognitive and emotional burden that gets in the way of what they can do, even within these constraints. For each challenge, we also share lessons emerging from this research about about how global health practitioners can address these challenges through program design and implementation.

APA, Harvard, Vancouver, ISO, and other styles

8

Zhou, Min. Time-Resolved Analysis of the Dynamic Behavior of Granular Materials. Fort Belvoir, VA: Defense Technical Information Center, December 1999. http://dx.doi.org/10.21236/ada373452.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Johnson, Anna K., Thomas Hoff, Larry J. Sadler, and Chad H. Stahl. Dietary Inclusion of Colicin E1.: Effect on Behavior Over Time. Ames (Iowa): Iowa State University, January 2009. http://dx.doi.org/10.31274/ans_air-180814-914.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Wadehra, J. M. Theoretical Investigations of Time-Dependent Behavior of Electrons in Gases. Fort Belvoir, VA: Defense Technical Information Center, January 1995. http://dx.doi.org/10.21236/ada299082.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!