A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Model predictive control from signal temporal logic specifications
2014
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14
Preserved Fulltext
This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. ...
ABSTRACT This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. ...
We then show how the MPC scheme for controlling the ancillary service power flow from such buildings can be framed in terms of synthesis from a Signal Temporal Logic (STL) specification. ...
doi:10.1145/2593458.2593472
dblp:conf/cyphy/RamanMD14
fatcat:xbqqla4shzd6fjjftrjj73o3pu
Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We study two specific pandemic control models: the susceptible, exposed, infectious, recovered (SEIR) model with vaccination control; and the SEIR model with shield immunity control. ...
We express the pandemic control requirement in metric temporal logic (MTL) formulas. We then develop an iterative approach for synthesizing the optimal control strategies with MTL specifications. ...
Formal control synthesis with temporal logic specifications: The control synthesis approaches with temporal logic specifications mainly convert the control synthesis problem into a mixed-integer linear ...
arXiv:2103.14262v1
fatcat:cjxcasau3ndvljuzupedssy64i
Formalizing Anaesthesia: A case study in formal specification
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. ...
The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker, graphical representation of signatures ...
An early case study of the FSA-project was the specification of SOAR. ...
doi:10.1007/3-540-60973-3_84
fatcat:vztdptjbrbdrtpwxhdb5v6ydwy
Modelling hybrid production systems through the ACD specification: a case study in the fibre-glass industry
2008
International Journal of Production Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
., A modelling and analysis tool for discrete events systems: continuous Petri nets, Performance Evaluation, 1998, 33, 175-199. ...
Acknowledgements The authors acknowledge professor Rocco Mosconi (Politecnico di Milano), for his useful suggestions on the ACD models. ...
Modelling hybrid production systems through the ACD specification: a case study in the fibre-glass industry. ...
doi:10.1080/00207540600988113
fatcat:ba6ajejbpjgcvpcu4y5ptnvgpm
Backpropagation through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2008.00097v1 fatcat:6a7olxhb35e25mrcsprttkry5iOther Versions
This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. ...
STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions. ...
More specifically, Signal Temporal Logic (STL) [1, 2] is a temporal logic that is specified over dense-time real-valued signals, such as time-series data produced from continuous and hybrid systems prevalent ...
arXiv:2008.00097v3
fatcat:ojkzcwauqrbrjott66bjnda4ge
Developing a Big Data Analytic Model and a Platform for Particulate Matter Prediction: A Case Study
2019
International Journal of Fuzzy Logic and Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We suggested a conceptual architecture of a system and illustrate a case study of preprocessing and analyzing the data gathering from a local province with results and discussions. ...
volumes of a certain location using LTE(Long Term Evolution) signals. ...
Big Data Analytic Model and a Platform for Particulate Matter Prediction: A Case Study | 246 Prediction accuracies Target variable
Model
Training set
Test set
R 2
RMSE
R 2
RMSE
PM10
Neural network ...
doi:10.5391/ijfis.2019.19.4.242
fatcat:hgn7di4pf5hmralt3dnhd6lqna
Models of cognition and constraints from neuroscience: A case study involving consolidation
2011
Australian journal of psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
those data are in fact problematic for classic consolidation theory and (2) can be explained readily within a cognitive model based on temporal distinctiveness. ...
There is a widespread consensus within the neuroscientific community that consolidation is an important component of human memory. By contrast, the notion is rarely employed by cognitive modellers. ...
The evidence for system consolidation derives from lesioning studies, for example, when the hippocampus of rats is lesioned some time after learning that a tone signals a subsequent electric shock. ...
doi:10.1111/j.1742-9536.2011.00042.x
fatcat:oiz3bpvjzzdfrokvdcxf2dzu6y
Characterizing functional relationships between anthropogenic and biological sounds: A western New York state soundscape case study
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
The predictions have large uncertainty, resulting from the temporal coarseness of public road data used as a proxy for traffic sound. ...
Relationships were modeled using a novel two-stage hierarchical Bayesian model utilizing beta regression and basis splines. ...
predictive maps have large uncertainty in locations far from roads, resulting from the temporal coarseness of public road data used as a proxy for traffic noise. ...
arXiv:1905.01218v2
fatcat:6mhznv4s7jhaheynl3n4rtg2qi
Can Deep Learning Predict Risky Retail Investors? A Case Study in Financial Risk Behavior Forecasting
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We develop a deep learning model for predicting whether individual spread traders secure profits from future trades. ...
Consequently, modeling highly variable, heterogeneous patterns such as trader behavior is challenging. Deep learning promises a remedy. ...
A distinctive feature of our case study stems from the fact that a small group of individuals pose very high risk. ...
arXiv:1812.06175v3
fatcat:aswsbfb4xrbozellaic7fireom
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL). ...
The advantages of combining the cumulative robustness function with smooth optimization methods as well as model predictive control are illustrated in case studies. ...
signal temporal logic specification. ...
arXiv:1904.11611v1
fatcat:nc7plkwvwbepfhljtkrbqivf2y
Expert curation for building network-based dynamical models: a case study on atherosclerotic plaque formation
2018
Database: The Journal of Biological Databases and Curation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Expert curation for building network-based dynamical models: a case study on atherosclerotic plaque formation. ...
In this work, we demonstrate how expert curation can also play a more direct role in research, by supporting the use of network-based dynamical models to study a specific biological process. ...
We also recommend that network-based dynamical models should be fine-tuned by contextualization to the specific biological system under study. ...
doi:10.1093/database/bay031
pmid:29688381
pmcid:PMC5887269
fatcat:cqjzklxwlvbe5ls4td4642rxne
A First Step Toward Cognitive Remediation of Voices: a Case Study
2006
Cognitive Behaviour Therapy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS
NOTE The authors of this commentary are employed by a government agency and as such this commentary is considered a work of the U.S. government and not subject to copyright within the ...
Predictions from the PAD model As with any multifactor model, falsification can be a challenge. ...
Beyond these direct tests of existing indirect data, the model makes specific predictions. ...
doi:10.1080/16506070600802993
pmid:16952899
fatcat:wjh5h3ysbrgapnlcwyfb5zjnz4
Visual memory loss and autobiographical amnesia: a case study
2005
Neuropsychologia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We previously found 11 such cases in the literature, and all 11 had amnesia. We now present a detailed investigation of one of these patients. ...
The presentation of his amnesia differs from that of the typical medial-temporal or lateral-temporal amnesic; we suggest that his visual deficits may be contributing to his autobiographical amnesia. ...
This work was supported by a grant from the McDonnell-Pew Foundation (D.C.R.). ...
doi:10.1016/j.neuropsychologia.2004.12.009
pmid:15989939
fatcat:wlcpvqjir5dt5n3dcbp73orvwi
Reactive synthesis from signal temporal logic specifications
2015
Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We present a counterexample-guided inductive synthesis approach to controller synthesis for cyber-physical systems subject to signal temporal logic (STL) specifications, operating in potentially adversarial ...
We demonstrate how the scheme can be used in a receding horizon fashion to fulfill properties over unbounded horizons, and present experimental results for reactive controller synthesis for case studies ...
The specification language adopted here is Signal Temporal Logic (STL) [18] , which allows the specification of temporal properties of real-valued signals, and has been applied to the analysis of hybrid ...
doi:10.1145/2728606.2728628
dblp:conf/hybrid/RamanDSMS15
fatcat:kuroaxmrnzhqnonzgqsor5w2yi
The multidimensionality of cell behaviors underlying morphogenesis: a case study in ascidians
2006
Bioessays
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Databases where different types of information from different sources can be integrated, cross-referenced and interactively accessed are necessary for building a quantitative understanding of the molecular ...
Tassy and colleagues (1) recently reported the development of software tailor-made to perform such a task, along with the generation and integration of threedimensional anatomical models of embryos. ...
short-range signal emanating from b6.5 necessary for the differentiation of A-line cells. ...
doi:10.1002/bies.20453
pmid:16937345
fatcat:u7bpkx2dunespmxpc4k5trt7du
« Previous
Showing results 1 — 15 out of 87,763 results