Filters








1,233 Hits in 3.8 sec

Undecidable event detection problems for ODEs of dimension one and two

Keijo Ruohonen
1997 RAIRO - Theoretical Informatics and Applications  
Now, détection of the event y(t) -0 for the ODE y f = 0, given n and the initial value y(0) = f n , is undecidable on any interval containing 0, because f n = 0 is undecidable.  ...  For aspects of numerical event détection see [15] .  ... 
doi:10.1051/ita/1997310100671 fatcat:tux6vgg53bch5nzjy4pl3rqjuu

Page 5533 of Mathematical Reviews Vol. , Issue 95i [page]

1995 Mathematical Reviews  
Now, obviously event detection is undecidable in the sense that detection of an event y(t;c) =0 for a given computable real c and the initial value problem y’ = 0, y(0) =c is undecidable, because c = 0  ...  “Event detection is, however, also dynamically undecidable for time intervals of the form [0, 7) and [0,00), as was shown previ- ously by us [J. Inform. Process.  ... 

Page 2556 of Mathematical Reviews Vol. , Issue 98D [page]

1998 Mathematical Reviews  
This interesting paper proves the undecidability of the event detection problem for ODEs of dimension one or two.  ...  Saxton (3-RGN-C; Regina, SK) See also 94020, 94025, 94041. 68Q Theory of computing 984d:68063 68Q05 03D35 34A12 Ruohonen, Keijo (FIN-TUT; Tampere) Undecidable event detection problems for ODEs of dimension  ... 

Page 5686 of Mathematical Reviews Vol. , Issue 99h [page]

1999 Mathematical Reviews  
Indeed, nearly any kind of event detection is algorithmically undecidable for infinite or finite half-open time intervals and ex- plicitly given ‘well-behaved’ ODEs [see K. Ruohonen, J. Inform.  ...  Prac- tical event detection, however, usually takes place on finite closed time intervals. In this article, the undecidability of general event detection is extended to such intervals.  ... 

Predicting Events for the Simulation of Hybrid Systems

Kerstin Bauer, Klaus Schneider
2010 2010 10th IEEE International Conference on Computer and Information Technology  
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions.  ...  Due to the interaction of discrete and continuous dynamics, failures to detect such events may have catastrophic impacts on the global simulation.  ...  Depending on the simulation parameters, ODE solver and global timespan of the simulation, the simulator fails to detect the event of hitting the ceiling.  ... 
doi:10.1109/cit.2010.316 dblp:conf/IEEEcit/BauerS10 fatcat:ftb3mm6t4nehzcasle23r6nj7u

Critical analysis of communication strategies in public health promotion: An empirical‐ethical study on organ donation in Germany

Solveig Lena Hansen, Larissa Pfaller, Silke Schicktanz
2020 Bioethics  
Given the need for organs, public organizations use social marketing strategies to increase the number of donors. Their campaigns employ a variety of moral appeals.  ...  Our approach combined a multimodal analysis of categorized posters with a qualitative analysis of responses, collected in interviews or focus groups, of 53 persons who were either skeptical or undecided  ...  , and in favour FG 08 3 females and 2 males Students, in their 20s; organize events to promote OD FG 09 5 females and 1 male Students, in their 20s; undecided Interviews 6 females and 4 males  ... 
doi:10.1111/bioe.12774 pmid:32557682 fatcat:cmluxk3ydver5btv6gayhphjaq

Disclosure behaviour and intentions among 111 couples following treatment with oocytes or sperm from identity-release donors: follow-up at offspring age 1-4 years

S. Isaksson, G. Sydsjo, A. Skoog Svanberg, C. Lampic
2012 Human Reproduction  
For children conceived via OD, 107 individuals (including 52 couples and 3 individuals) agreed to participate (73% response).  ...  study question: Do heterosexual parents of young children following oocyte donation (OD) and sperm donation (SD) tell or intend to tell their offspring about the way he/she was conceived?  ...  Acknowledgements Staff members at the fertility clinics at the University Hospitals in Gothenburg, Stockholm, Uppsala, Linkö ping, Malmö , Ö rebro and Umeå made an important contribution to recruitment of  ... 
doi:10.1093/humrep/des285 pmid:22859508 pmcid:PMC3442633 fatcat:75rat66acfe2tk2bvashueb7aa

Quantized State Hybrid Automata for Cyber-Physical Systems [article]

Avinash Malik, Partha Roop
2018 arXiv   pre-print
Existing techniques employ time discrete numerical integration with bracketing for level crossing detection.  ...  Accurate detection of these discontinuities, using appropriate level crossing detectors, is a key challenge to simulation of CPS based on HA.  ...  During evolution of the ODE and hold the future event for each variable used in the guard g computation of the future discrete event t the following of the outgoing edge of the currently  ... 
arXiv:1806.05754v1 fatcat:ungxcsoqzbbwdchrofrak5ospq

Page 585 of The Journal of the Operational Research Society Vol. 50, Issue 6 [page]

1999 The Journal of the Operational Research Society  
Propagation properties of constraints vary, for example due to their imple- mentation, or the types of variables used. Possible events triggering their evaluation®?  ...  bound constraint for this variable solve LP-relaxation for the modified problem if no better solution or infeasible then prune this branch go back to some undecided branching Branching strategies —most  ... 

How to Understand Belief Drift? Externalization of Variables Considering Different Background Knowledge

Teruaki Hayashi, Yukio Ohsawa
2018 Advances in Human-Computer Interaction  
VQ is the inferring method for variables unifying cooccurrence graphs of variables in the datasets.  ...  Despite this, it is difficult for people to make use of appropriate information under circumstances where various kinds of information are complicated.  ...  We thank research members of JSPS KAKENHI Grant Number JP16H01836 for proposing the definition of Belief Drift, which worked as the initial input data for the study of this paper.  ... 
doi:10.1155/2018/9054685 fatcat:aq2igeof2nbdbg23e3v2ln5cre

A Survey on Continuous Time Computations [chapter]

Olivier Bournez, Manuel L. Campagnolo
2008 New Computational Paradigms  
We provide an overview of theories of continuous time computation.  ...  These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.  ...  We would also like to deeply thank Kathleen Merrill for her careful reading of the text and for her suggestions to improve its clarity, and an anonymous referee for his/her helpful advice.  ... 
doi:10.1007/978-0-387-68546-5_17 fatcat:h6yajdzjyffurm2gqepan7xe34

A Survey on Continuous Time Computations [article]

Olivier Bournez, Manuel Campagnolo
2009 arXiv   pre-print
We provide an overview of theories of continuous time computation.  ...  These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.  ...  We would also like to deeply thank Kathleen Merrill for her careful reading of the text and for her suggestions to improve its clarity, and an anonymous referee for his/her helpful advice.  ... 
arXiv:0907.3117v1 fatcat:lggnmcv6jvf77cy73gta6x4soq

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

XENOFON D. KOUTSOUKOS, PANOS J. ANTSAKLIS
2000 Soft Computing and Intelligent Systems  
In view of hybrid systems, we also review basic computational issues for hybrid automata.  ...  Finally, we present a parallel computing architecture for intelligent control systems and we illustrate its advantages by considering parallel discrete event simulations.  ...  Nikos Chrisochoides of the Computer Science and Engineering Department at the University of Notre Dame for his valuable assistance concerning the parallel computing architecture.  ... 
doi:10.1016/b978-012646490-0/50006-8 fatcat:tpqu57oywrhwtfcrvohzhr3trq

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaco, Cedric Pasteur, Marc Pouzet
2018 Proceedings of the IEEE  
Our approach has been evaluated in two implementations: the academic language Zélus, which extends a language reminiscent of Lustre with ODEs and zero-crossing events, and the industrial prototype Scade  ...  combinatorial loops; (3) the generation of statically scheduled code for efficient execution.  ...  One is the analysis that detects situations where cascades of events are bounded; another is to ensure the absence of critical races between events.  ... 
doi:10.1109/jproc.2018.2858016 fatcat:mi6qzuqz7vdpvdhlrdsaesgefu

The Contributions of Biomass Supply for Bioenergy in the Post-COVID-19 Recovery

Biljana Kulisic, Bruno Gagnon, Jörg Schweinle, Sam Van Holsbeeck, Mark Brown, Jurica Simurina, Ioannis Dimitriou, Heather McDonald
2021 Energies  
Refurbishment of current policies to enhance the supply of biomass as a renewable resource to the future economy is a must.  ...  A SWOT analysis on BSChs was used for generating a questionnaire for foresight by a two-round Delphi study.  ...  The authors thank the audience for the helpful questions at the earlier presentation of this research to the IEA Webinar Series. B.  ... 
doi:10.3390/en14248415 fatcat:ggvpt4gelrcnnl4ligmlkzra7m
« Previous Showing results 1 — 15 out of 1,233 results