Filters








87,763 Hits in 7.6 sec

Model predictive control from signal temporal logic specifications

Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé
2014 Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems - CyPhy '14  
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]

Zhe Xu, Xiaoming Duan
2021 arXiv   pre-print
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]

Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard Renardel deLavalette
1996 Lecture Notes in Computer Science  
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

T. Rossi, C. Noè, A. Sianesi
2008 International Journal of Production Research  
., 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]

Karen Leung, Nikos Aréchiga, Marco Pavone
2021 arXiv   pre-print
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

Sung-Hyun Kim, Dae-Sung Son, Min-Ho Park, Hyun-Seok Hwang
2019 International Journal of Fuzzy Logic and Intelligent Systems  
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

Stephan Lewandowsky, Ullrich K.H. Ecker, Simon Farrell, Gordon D.A. Brown
2011 Australian journal of psychology  
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]

Jeffrey W. Doser, Kristina M. Hannam, Andrew O. Finley
2020 arXiv   pre-print
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]

Yaodong Yang, Alisa Kolesnikova, Stefan Lessmann, Tiejun Ma, Ming-Chien Sung, Johnnie E.V. Johnson
2019 arXiv   pre-print
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]

Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
2019 arXiv   pre-print
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

Amel Bekkar, Anne Estreicher, Anne Niknejad, Cristina Casals-Casas, Alan Bridge, Ioannis Xenarios, Julien Dorier, Isaac Crespo
2018 Database: The Journal of Biological Databases and Curation  
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

Jérôme Favrod, Pascal Vianin, Valentino Pomini, Fred W. Mast
2006 Cognitive Behaviour Therapy  
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

D GREENBERG, M EACOTT, D BRECHIN, D RUBIN
2005 Neuropsychologia  
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

Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia
2015 Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15  
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

Anna Di Gregorio, Anna-Katerina Hadjantonakis
2006 Bioessays  
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