Relevant bibliographies by topics / Control and verification activity

Contents

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

Academic literature on the topic 'Control and verification activity'

Author: Grafiati
Published: 30 May 2022
Last updated: 19 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 'Control and verification activity.'

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 "Control and verification activity"

1

Butt, Shahid Ikramullah, Sun Hou-Fang, and Amir Manzur Wain. "Verification of Production Activity Control Architecture Using PETRI Net Tools." Information Technology Journal 6, no. 6 (2007): 924–28. http://dx.doi.org/10.3923/itj.2007.924.928.

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

TURISHCHEVA, T. B. "METHODOLOGICAL SUPPLY OF INTERNAL CONTROL OVER AN AUTONOMOUS INSTITUTION’S ACTIVITY." EKONOMIKA I UPRAVLENIE: PROBLEMY, RESHENIYA 4, no. 4 (2021): 96–101. http://dx.doi.org/10.36871/ek.up.p.r.2021.04.04.017.

Full text
Abstract:
The article examines the methodology of internal control over an autonomous institution’s activity, groups the procedural aspects and methods of verification, forms the author's position on internal control procedures and justifies proposals for the methodology of developing internal control procedures.
APA, Harvard, Vancouver, ISO, and other styles
3

Бойко, Евгений, Evgeniy Boyko, Надежда Бойко, and Nadezhda Boyko. "Experimental verification of innovative approach to formalization of motor activity." Bulletin of Bryansk state technical university 2014, no. 2 (2014): 147–54. http://dx.doi.org/10.12737/23283.

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

Maslova, Ya I. "FULL VERIFICATION OF DECLARATIONS AS AN ACTIVITY OF ANTI-CORRUPTION FINANCIAL CONTROL." Juridical scientific and electronic journal, no. 4 (2021): 698–700. http://dx.doi.org/10.32782/2524-0374/2021-4/173.

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

Maslova, Ya І. "FULL VERIFICATION OF DECLARATIONS AS AN ACTIVITY OF ANTI-CORRUPTION FINANCIAL CONTROL." Juridical scientific and electronic journal, no. 1 (2022): 357–59. http://dx.doi.org/10.32782/2524-0374/2022-1/90.

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

Maruyama, Kohei, Miyako Mizuna, Takuya Kosuge, Yuki Takeda, Eiji Iwase, and Tetsuo Kan. "Spiral Chiral Metamaterial Structure Shape for Optical Activity Improvements." Micromachines 14, no. 6 (2023): 1156. http://dx.doi.org/10.3390/mi14061156.

Full text
Abstract:
We report on a spiral structure suitable for obtaining a large optical response. We constructed a structural mechanics model of the shape of the planar spiral structure when deformed and verified the effectiveness of the model. As a verification structure, we fabricated a large-scale spiral structure that operates in the GHz band by laser processing. Based on the GHz radio wave experiments, a more uniform deformation structure exhibited a higher cross-polarization component. This result suggests that uniform deformation structures can improve circular dichroism. Since large-scale devices enable speedy prototype verification, the obtained knowledge can be exported to miniaturized-scale devices, such as MEMS terahertz metamaterials.
APA, Harvard, Vancouver, ISO, and other styles
7

Мельничук, Р. В. "ADMINISTRATIVE AND LEGAL PRINCIPLES OF INTERACTION NATIONAL AGENCY FOR THE PREVENTION OF CORRUPTION AND THE NATIONAL POLICE IN THE FIELD OF PREVENTION OF CORRUPTION RISKS IN THE ACTIVITIES OF POLICE AUTHORITIES." Juridical science, no. 1(103) (February 19, 2020): 211–17. http://dx.doi.org/10.32844/2222-5374-2020-103-1.25.

Full text
Abstract:
In the article the system of administrative legal acts of the National agency is found out and exposed on questions prevention of corruption in relation to prevention of corruption risks, in particular in activity of the National police of Ukraine. In detail maintenance of orders and decisions is reflected in relation to setting of norms of activity of the authorized subdivisions on questions prevention and exposure of corruption, order of realization provided for by the plan verifications of organization of work from prevention and exposure of corruption in public organs. It is marked that in the control activity turns the special attention on the questions of assigning for position and dismissing person, accountable for realization anticorruption program. The features of order of selection, realization of control and complete verification of declarations of the persons, authorized on implementation of functions of the state or local self-government, and also filling of decisions of NACP of informative and methodical character, are considered.
APA, Harvard, Vancouver, ISO, and other styles
8

Wang, Feng Qin, and Heng Jin Ke. "Control Flow Analyze for Procedure Blueprint." Applied Mechanics and Materials 58-60 (June 2011): 1061–66. http://dx.doi.org/10.4028/www.scientific.net/amm.58-60.1061.

Full text
Abstract:
Based on the well-defined UML2.0 activity diagram, a meta-model based on Control Flow Diagram is presented. And our strategy in this article is to define an OCL-based mapping in a formal and verifiable form as consistency rules between an AISD and a CFG, so as to ensure the completeness of our meta-models and allow their verification. At last, we adopt a static analyze method to transform procedure blueprint to Control Flow diagram.
APA, Harvard, Vancouver, ISO, and other styles
9

Astankevych, Yu I. "ABOUT FORMS AND METHODS OF INTERNATIONAL VERIFICATION OF COMPLIANCE WITH INTERNATIONAL AGREEMENTS." Constitutional State, no. 43 (October 26, 2021): 177–84. http://dx.doi.org/10.18524/2411-2054.2021.43.240998.

Full text
Abstract:
The forms and methods of international verification, their varieties and related categories are considered in the paper. It is determined that the key feature of verification forms is a body carrying out verification activities. Consequently, it is proposed to understand the verification form as a way of organization and particularities of this activity. It has been found that the category of subject is often also used for a simple division of verification into types, which does not fully reflect the specifics of verification activities. Two main forms of international verification are distinguished: simple (without the formation of a special body) and institutional (with the formation of a special control body). It is also suggested to distinguish between technologies, methods and procedures of international verification as well, defining verification technologies as tools, mechanisms, devices necessary for control activities, verification methods as ways of applying its means and verification procedures as modes for implementing a verification method or several methods in a combination. The mechanism of international verification is proposed to be seen as the most general term. It comprises not only methods and technologies, but also procedures of international verification, which determine the implementation mode of a verification method or its several methods in the context of a special verification form. Methods and tools of international verification are characterized by different level of efficiency, which is due to different factors, such as: the sphere of international relations, the form of international verification, the scope of powers of verification body, the international legal act, which is the source of international obligation. In this regard, a distinction must be made between the international obligations, the source of which is an international treaty, and other international obligations.
APA, Harvard, Vancouver, ISO, and other styles
10

ZEQIRI, Jetmire. "GENERAL OPERATIONAL MEASURES AND ACTIONS-TACTICAL PREVENTIVE-REPRESENTATIVE CHARACTER." International Journal of Legal Sciences-JUSTICIA 12, no. 21-22 (2024): 49–56. http://dx.doi.org/10.62792/ut.jus.v12.i21-22.p2752.

Full text
Abstract:
Criminal verification is a measure and a general operative-tactical action, the purpose of which is to prove the accuracy (reasonableness) of the collected (understood) effects (indices, grounds of suspicion), which point to a certain criminal offense, the perpetrator its or other important circumstances for the illumination of the criminal offense or certain criminal activity. Indices or data, the validity of which must be proven through verification, discarded or partially completed, may be of different degrees of probability, more or less real and logical, obtained or collected from different sources. All these facts must be verified in such a way that, on the basis of the records and the correctly proven facts, the work can be continued in the illumination of the specific criminal offense and the discovery of its perpetrator. For this reason, verifications and analyzes are the basis of numerous tactical-operative measures and actions, both general and investigative, such as: raids, ambushes, deprivation of liberty, control, etc.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Control and verification activity"

1

Rozes, Arnaud. "Construction et premières caractérisations d'un détecteur dédié à la mesure de l'activité β + induite lors des traitements d'hadronthérapie, en vue de leur contrôle balistique". Thesis, Clermont-Ferrand 2, 2016. http://www.theses.fr/2016CLF22725/document.

Full text
Abstract:
L’hadronthérapie est une technique de traitement des cancers basée sur l’utilisation de faisceaux d’ions (principalement des protons et des ions 12 C). L’intérêt des ions repose sur deux propriétés fondamentales. La première est d’ordre balistique. Le mode d’interaction des ions avec la matière, caractérisé par le phénomène de pic de Bragg, se traduit par une faible dispersion spatiale de l’énergie déposée dans les tissus. Ceci permet un très bon niveau de conformation au volume tumoral. La seconde est d’ordre biologique, notamment pour les ions 12 C qui présentent une cytotoxicité élevée, utile pour le traitement de tumeurs radiorésistantes. Pour pouvoir utiliser toutes les possibilités offertes par les faisceaux d’ions, de nouveaux outils de contrôle qualité doivent être mis au point. L’utilisation des particules secondaires générées lors de l’irradiation est la voie choisie pour vérifier la conformité des traitements d’hadronthérapie. Certaines de ces particules secondaires présentent une distribution d’activité fortement corrélée au dépôt de dose. C’est le cas des noyaux émetteurs β + dont la détection est basée sur le principe de la tomographie par émission de positons (TEP). La mesure de la distribution en radionucléides émetteurs β + produits par fragmentation du projectile et/ou de la cible permet de détecter des erreurs sur le parcours des ions. Nous présentons ici les travaux de construction d’un démonstrateur appelé DPGA et la mise au point des outils qui lui sont associés pour réaliser la vérification du parcours des ions à partir de la mesure de l’activité β + induite lors des traitements d’hadronthérapie. Le but du DPGA est de pouvoir évaluer certains choix matériels et logiciels avec comme objectif de pouvoir, à terme, effectuer la mesure du parcours des ions en ligne pendant l’irradiation<br>Hadrontherapy is a radiation therapy for cancer based on ion beams (mainly protons or carbon ions). This type of treatment offers two advantages compared with conventional x-ray therapy. First the ions penetrate the tissues with little diffusion and the energy transfer is maximum just before stopping (Bragg peak). Then the ions offer a superior dose conformity with tumor volume. Moreover carbon ions offer a higher biological effectiveness useful for radioresistant tumors treatments. To fully exploit the ion beams properties, new quality assurance procedures have to be defined. These controls can be achieved by measuring the β + activation which is induced during the treatments by means of Positon Emission Tomography (PET). PET can be applied for ion range verification because of the correlation between the dose distribution and the spatial distribution of secondary β + activity. We present in this thesis the building of a demonstrator called DPGA and the design of several of its tools dedicated for ion range verification. The aim of the DPGA is to trial hardware and software solutions for an on-line measurement during irradiation
APA, Harvard, Vancouver, ISO, and other styles
2

Bongrand, Arthur. "Etudes des performances d'un détecteur dédié au contrôle balistique lors des traitements d'hadronthérapie par simulation Monte-Carlo." Thesis, Université Clermont Auvergne‎ (2017-2020), 2019. http://www.theses.fr/2019CLFAC094.

Full text
Abstract:
L'utilisation de faisceaux d’ions (protons ou ions légers) permet d'obtenir, lors du traitement, un dépôt d'énergie localisé en fin de parcours dans une zone réduite de l'espace. Les cibles privilégiées pour cette thérapie sont les tumeurs « radiorésistantes » ou les traitements nécessitant une balistique très précise, du fait de la présence d'organes à risques à proximité de la tumeur. Cependant, comme la détermination du parcours des ions et donc de la dose délivrée est dépendante de grandeurs qui restent difficiles à mesurer précisément, d’importantes marges de sécurité doivent être prises lors de la conception du plan de traitement. En conséquence, il est nécessaire de mettre en place un système performant de contrôle balistique afin de garantir la qualité du traitement. Une des possibilités pour le contrôle balistique repose sur la mesure en temps réel de la distribution spatiale des radionucléides émetteurs de positons produits par réaction de fragmentation entre le projectile et la cible et donc sur la détection en coïncidence de deux photons. Pour cela, un premier prototype appelé Détecteur Pixélisé de Grande Acceptance (DPGA) a été conçu puis construit au sein du laboratoire de Physique de Clermont. Dans un premier temps, ce travail a permis de comparer les prédictions de deux modèles hadroniques implémentés dans Geant4 aux mesures expérimentales effectuées par une autre équipe (Dendooven et al.) à 55 MeV. Ensuite, nous nous sommes attachés à caractériser les performances du DPGA et à déterminer son potentiel lors de son utilisation en faisceau clinique. Pour cela nous avons développé une simulation Monte-Carlo dédiée permettant de comprendre la physique associée, le détecteur et les expériences effectuées sur faisceau de protons 65 MeV à l’Institut méditerranéen de Protonthérapie (IMPT) de Nice. Enfin, comme le DPGA sera à terme couplé avec un système d’acquisition à grande bande passante (μTCA) autorisant l’envoi et le traitement des données mesurées en temps réel, nous avons fait une étude des performances attendues sur la ligne PROTEUS ONE de l'IMPT à 120 et 230 MeV<br>The use of ion beams (protons or light ions) makes it possible to obtain, during treatment, a localised energy deposit at the end of the treatment in a small area of space. The preferred targets for this therapy are "radioresistant" tumours or treatments requiring very precise ballistics, due to the presence of high-risk organs close to the tumour. However, as the determination of the ion path and thus the delivered dose is dependent on quantities that are difficult to measure precisely, large safety margins must be taken into account when designing the treatment plan. Consequently, it is necessary to set up an efficient ballistic control system in order to guarantee the quality of the treatment. One of the possibilities for ballistic control is based on the real-time measurement of the spatial distribution of positron-emitting radionuclides produced by the fragmentation reaction between the projectile and the target and thus on the coincident detection of two photons. For this purpose, a first prototype called Large Area Pixelized Detector (LAPD) was designed and built at the Clermont Physics Laboratory. Initially, this work allowed to compare the predictions of two hadronic models implemented in Geant4 with experimental measurements performed by Dendooven et al. at 55 MeV. We then focused on characterizing the performance of the LAPD and determining its potential when used in a clinical beam. For this purpose, we developed a Monte-Carlo simulation dedicated to understand the associated physics, the detector and the experiments carried out on 65 MeV proton beam at the Institut Mediterranéen de Protonthérapie (IMPT) in Nice. Finally, as the LPAD will eventually be coupled with a high-bandwidth acquisition system (μTCA) allowing the sending and processing of the measured data in real time, we have made a study of the performances expected on the PROTEUS ONE line of the IMPT at 120 and 230 MeV
APA, Harvard, Vancouver, ISO, and other styles
3

Geshan, Susan Carol. "Signature verification for access control." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/28533.

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

Jobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.

Full text
Abstract:
In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.In a context of heightened requirements for safety-critical embedded systems and ever-increasing costs of verification and validation, this research proposes to advance the state of formal analysis for control software. Formal methods are a field of computer science that uses mathematical techniques and formalisms to rigorously analyze the behavior of programs. This research develops a framework and tools to express and prove high level properties of control law implementations. One goal is to bridge the gap between control theory and computer science. An annotation language is extended with symbols and axioms to describe control-related concepts at the code level. Libraries of theorems, along with their proofs, are developed to enable an interactive proof assistant to verify control-related properties. Through integration in a prototype tool, the process of verification is made automatic, and applied to several example systems.
APA, Harvard, Vancouver, ISO, and other styles
5

Collins, Jane M. "Particle characterisation for arms control verification." Thesis, Imperial College London, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.506110.

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

Ha, Vida Uyen 1980. "Verification of an attitude control system." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/87408.

Full text
Abstract:
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.<br>Includes bibliographical references (p. 74).<br>by Vida Uyen Ha.<br>M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
7

Wang, Xuan. "Verification of digital controller implementations /." Diss., CLICK HERE for online access, 2005. http://contentdm.lib.byu.edu/ETD/image/etd1073.pdf.

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

Koivu, Timothy Grant. "Production activity control, the hierarchical production control policy." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq21093.pdf.

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

Troxler, Robert Ernest. "Magnetic control of superconducting phase-shifters with experimental verification." Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/13443.

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

Beaumont, Paul James. "Model-based analysis of nuclear arms control verification processes." Thesis, Imperial College London, 2017. http://hdl.handle.net/10044/1/54653.

Full text
Abstract:
Reduction of nuclear arms in a verifiable manner that is trusted by two or more parties is a hard but important problem. Nations and organisations that wish to engage in such arms control verification activities need to be able to design procedures and control mechanisms that let them compute pertinent degrees of belief. Crucially, they also will need methods for reliably assessing their confidence in such beliefs, in situations with little or no contextual data to apply data-driven learning techniques on. This motivates the investigation of alternative methods of modelling beliefs. This thesis will cover three key models: a probabilistic Bayesian Network (BN) model for an arms control inspection scenario; a dynamical system that models an arms race with dynamics reflecting verification activities; and mathematical games, which are used for understanding the design space of treaties that constrain inspection schedules. We extend our models beyond their conventional computational abilities, and encode uncertainty over variables and probabilities within the models. This thesis explores the techniques required to enable such computations and to use these to answer questions of interest to decision making. In doing so, we also show that these abstractions can mitigate against the risk that lack of prior data represents for modelling and analysis. A main contribution of the thesis is to not only develop such methods for dealing with uncertainty, but to also extend these models with external constraints that reflect beliefs, knowledge or assumptions. We extend BNs to constrained Bayesian Networks, and relax the requirement of declaring Real valued probabilities of events. This then enables us to analyse marginal probabilities of interest symbolically, or develop metrics that check for agreement in outputs between multiple different models, and even optimise such metrics over the uncertainty. Whereas Stochastical Optimisation and other utility based techniques would enable an analysis of likelihoods, this work employs Robust Optimisation. This means that we are assessing 'best case', 'worst case' or 'is this ever possible' events, which are important to our arms control verification domain. For dynamical systems, we are able to leave initial parameters of the model as unknown, and then compute an optimum inspection routine (based on any arbitrarily set metric) that holds true despite the uncertainty. This allows us to provide decision-support regarding the best timings for rationing out a limited number of inspections, and how such an inspection regime should be the optimal one to meet the desired metric. In game theory, we develop constrained symbolic games that include symbolic pay-offs, and for which we can find Nash Equilibria that vary as the symbolic terms change. This allows us to advise players on the best mix of strategies to consider as the uncertain pay-offs vary, to either optimise pay-offs, or the use of particular strategies. Eventually, we are able to combine our approaches into an all-encompassing, yet fine-grained, model. Such integration accomplishes modelling all aspects of an inspection process and the regime that may call such a process. Integration also accounts for the shortcomings individual mathematical techniques have that other techniques can overcome. Our tools encode models in a Satisfiability Modulo Theories (SMT) solver: SMT are powerful decision procedures for quantifier-free, first-order logic. Solving our problems using SMT enables us to assess the sensitivity and relative confidence we have in particular models, as well as optimise for variables of interest and test hypotheses even without full data. The practical difficulties lie in leveraging the SMT to work for our large mathematical models, when, normally, they can only be relied on for simple or small numbers of mathematical computations. Although the theory, formalisations and methodologies engineered here are not specific to this domain, we utilise a case study in nuclear arms control to evaluate our approach and to demonstrate the real world insights gained. We conclude that the increased analytical capabilities from combining mathematical modelling and SMT allows us to - in principle - support the design or assessment of future bilateral arms control instruments by applying them to models of interest.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Control and verification activity"

1

Russell, Richard Allen. A space station structures and assembly verification experiment-save. National Aeronautics and Space Administration, Langley Research Center, 1986.

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

Yakimova, Vilena, Svetlana Pankova, and Sergey Khmura. Development of the financial control system of foreign economic activity of organizations. Publishing Center RIOR, 2021. http://dx.doi.org/10.29039/02068-5.

Full text
Abstract:
The monograph presents the results of research on theoretical and methodological aspects of the control of enterprises engaged in foreign economic activity. The features of export-import operations as a subject area of ​​control carried out by internal and external auditors are disclosed. The paper proposes the development of methodological support for compliance control based on the development of verification programs, working documentation forms, compliance procedures for assessing compliance with financial legislation. The monograph is intended for undergraduates, postgraduates and university students studying in the areas of "Economic security" and "Economics", and can also be useful for managers, chief accountants and economists, analysts and auditors of enterprises in their practical work.
APA, Harvard, Vancouver, ISO, and other styles
3

Canada. Dept. of External Affairs., ed. Verification research: Canada's Verification Research Program. External Affairs Canada, 1988.

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

C, Potter William, and University of California, Los Angeles. Center for International and Strategic Affairs., eds. Verification and arms control. Lexington Books, 1985.

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

Kunzendorff, Volker. Verification in conventional arms control. Brassey's for the IISS, 1989.

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

Geshan, Susan Carol. Signature verification for access control. Naval Postgraduate School, 1991.

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

Canada. External Affairs and International Trade Canada. Bibliography on arms control verification. s.n., 1995.

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

Canada. External Affairs and International Trade Canada. Bibliography on arms control verification. s.n., 1996.

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

Scrivener, David. Bibliography of arms control verification. Dartmouth Pub. Co., 1990.

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

Ulkoasiainministeriö, Finland, and Finnish Research Project on the Verification of Chemical Disarmament., eds. Verification database. Ministry for Foreign Affairs of Finland, 1988.

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

Book chapters on the topic "Control and verification activity"

1

Hublet, François, Leonardo Lima, David Basin, Srđan Krstić, and Dmitriy Traytel. "Proactive Real-Time First-Order Enforcement." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65630-9_8.

Full text
Abstract:
AbstractModern software systems must comply with increasingly complex regulations in domains ranging from industrial automation to data protection. Runtime enforcement addresses this challenge by empowering systems to not only observe, but also actively control, the behavior of target systems by modifying their actions to ensure policy compliance. We propose a novel approach to the proactive real-time enforcement of policies expressed in metric first-order temporal logic (MFOTL). We introduce a new system model, define an expressive MFOTL fragment that is enforceable in that model, and develop a sound enforcement algorithm for this fragment. We implement this algorithm in a tool called WhyEnf and carry out a case study on enforcing GDPR-related policies. Our tool can enforce all policies from the study in real-time with modest overhead. Our work thus provides the first tool-supported approach that can proactively enforce expressive first-order policies in real time.
APA, Harvard, Vancouver, ISO, and other styles
2

Tabuada, Paulo. "Verification." In Verification and Control of Hybrid Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_5.

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

Munoz-Hernandez, German Ardul, Sa’ad Petrous Mansoor, and Dewi Ieuan Jones. "Models Verification." In Advances in Industrial Control. Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2291-3_7.

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

Basin, David, Matúš Harvan, Felix Klaedtke, and Eugen Zălinescu. "MONPOLY: Monitoring Usage-Control Policies." In Runtime Verification. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29860-8_27.

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

Yadegari, Babak, and Saumya Debray. "Control Dependencies in Interpretive Systems." In Runtime Verification. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67531-2_19.

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

Fremont, Daniel J., and Sanjit A. Seshia. "Reactive Control Improvisation." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96145-3_17.

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

Flanagan, Stephen J. "Safeguarding Arms Control." In Verification and Compliance. Palgrave Macmillan UK, 1988. http://dx.doi.org/10.1007/978-1-349-10143-6_11.

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

Scull Pupo, Angel Luis, Laurent Christophe, Jens Nicolay, Coen de Roover, and Elisa Gonzalez Boix. "Practical Information Flow Control for Web Applications." In Runtime Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03769-7_21.

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

Lin, Hai, and Panos J. Antsaklis. "Formal Verification." In Advanced Textbooks in Control and Signal Processing. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-78731-8_3.

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

Tabuada, Paulo. "Control." In Verification and Control of Hybrid Systems. Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_6.

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

Conference papers on the topic "Control and verification activity"

1

Bendiksen, B., and J. S. Gill. "Molecular Modeling in Scale Control - An Experimental Verification and ITS Limitations." In CORROSION 1996. NACE International, 1996. https://doi.org/10.5006/c1996-96164.

Full text
Abstract:
Abstract This work centers on the use of molecular modeling to study scale inhibition of alkaline earth scales such as calcium carbonate and calcium sulfate. The molecular modeling studies have shown the interaction of phosphonates with varied crystal faces of the scales. The software makes it possible to visualize the important crystal faces and match the geometry of the inhibitor to the crystal planes that determine the morphology of the resulting solid. Molecular Dynamics (MD) calculations can reveal specific interactions of inhibitors with scale surfaces. Quantitative Structure Activity Relationships (QSAR) between scale inhibition and calculated quantities have been used to build models that help to predict the structure of new scale inhibitors. Interaction energies of phosphonates over the surfaces of crystals can show differences in binding of phosphonate to specific crystal faces. The relative binding energies can be correlated to effectiveness in scale inhibition, and verified by experiment. However, simple energy calculations do not always explain the complicated process of scale inhibition. Comparison is made of the effectiveness of two phosphonates, hydroxy ethylidene diphosphonic acid (HEDP) and amino methylene phosphonate (AMP), in scale inhibition of CaCO3 and CaSO4. Relative energy (Erel) calculations are used to demonstrate molecular modeling for scale inhibition studies.
APA, Harvard, Vancouver, ISO, and other styles
2

Rusznak, Linda H., and Kevin W. Pidane. "Dynamic Simulation of Biofouling and Corrosion Recovery." In CORROSION 2001. NACE International, 2001. https://doi.org/10.5006/c2001-01275.

Full text
Abstract:
Abstract A laboratory recirculation test rig outfitted with corrosion coupons, linear polarization, annular heat transfer rods and a pressure drop tube were exposed to biological growth under simulated cooling water conditions. This experimental rig was designed to provide a means of quantifying the presence and intensity of biofilm in order to examine biofilm generation properties. The resulting biofilm was subjected to various biocide and dispersant treatments in order to evaluate heat transfer improvement and control of microbiological activity through monitoring planktonic and sessile bacteria levels. Verification of the accuracy of this monitoring system would prove useful in the laboratory to assess the potential of biofilm treatment strategies for field applications and for the control of microbially influenced corrosion.
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Xiaoting, Xiaoyi Feng, Constantino Álvarez Casado, Lili Liu, and Miguel Bordallo López. "Exploring Facial Kinship Verification through Contactless Heart Activity Analysis." In ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2025. https://doi.org/10.1109/icassp49660.2025.10888280.

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

Mitsch, Stefan. "Towards Verification-Driven Control Learning." In 2024 International Conference on Assured Autonomy (ICAA). IEEE, 2024. http://dx.doi.org/10.1109/icaa64256.2024.00023.

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

Peitzsch, Andrew G., Mahdi Pirayesh Shirazi Nejad, and Ki H. Chon. "Development and Verification of an Electrode for Recording Electrodermal Activity Underwater." In 2024 IEEE 20th International Conference on Body Sensor Networks (BSN). IEEE, 2024. https://doi.org/10.1109/bsn63547.2024.10780503.

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

Vu, Hoang-Dieu, Quang-Tu Pham, Duc-Nghia Tran, et al. "Sports Activity Recognition with Deep Learning Models and Accelerometers." In 2024 9th International Conference on Integrated Circuits, Design, and Verification (ICDV). IEEE, 2024. http://dx.doi.org/10.1109/icdv61346.2024.10616822.

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

Mukta, Rahma, Hye-Young Paik, Qinghua Lu, and Salil S. Kanhere. "CredAct: Privacy-Preserving Activity Verification for Benefits Schemes in Self-Sovereign Identity." In 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). IEEE, 2024. http://dx.doi.org/10.1109/icbc59979.2024.10634429.

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

Xue, Bai. "Reach-avoid Verification Using Lyapunov Densities." In 2024 43rd Chinese Control Conference (CCC). IEEE, 2024. http://dx.doi.org/10.23919/ccc63176.2024.10662060.

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

Lourenço, Pedro, Hugo Costa, João Branco, et al. "Verification & validation of optimisation-based control systems: methods and outcomes of VV4RTOS." In ESA 12th International Conference on Guidance Navigation and Control and 9th International Conference on Astrodynamics Tools and Techniques. ESA, 2023. http://dx.doi.org/10.5270/esa-gnc-icatt-2023-155.

Full text
Abstract:
VV4RTOS is an activity supported by the European Space Agency aimed at the development and validation of a framework for the verification and validation of spacecraft guidance, navigation, and control (GNC) systems based on embedded optimisation, tailored to handle different layers of abstraction, from guidance and control (G&amp;C) requirements down to hardware level. This is grounded on the parallel design and development of real-time optimisation-based G&amp;C software, allowing to concurrently identify, develop, consolidate, and validate a set of engineering practices and analysis &amp; verification tools to ensure safe code execution of the designed G&amp;C software as test cases but aimed at streamlining general industrial V&amp;V processes. This paper presents: 1) a review of the challenges and the state-of-the-art of formal verification methods applicable to optimization-based software; 2) the implementation for an embedded application and the analysis from a V&amp;V standpoint of a conic optimization solver; 3) the technical approach devised towards and enhanced V&amp;V process; and 4) experimental results up to processor-in-the-loop tests and conclusions. In general, this activity aims to contribute to the widespread usage of convex optimisation-based techniques across the space industry by 1) augmenting the traditional GNC software Design &amp; Development Verification &amp; Validation (DDVV) methodologies to explicitly address iterative embedded optimisation algorithms that are paramount for the success of new and extremely relevant space applications (from powered landing to active debris removal, from actuator allocation to attitude guidance &amp; control) guaranteeing safe, reliable, repeatable, and accurate execution of the SW; and 2) consolidating the necessary tools for the fast prototyping and qualification of G&amp;C software, grounded on strong theoretical foundations for the solution of convex optimisation problems generated by posing, discretization, convexification, and transcription of nonlinear nonconvex optimal control problems to online-solvable optimisation problems. Sound guidelines are provided for the high-to-low level translation of mission requirements and objectives aiming at their interfacing with verifiable embedded solvers tailored for the underlying hardware and exploiting the structure present in the common optimisation/optimal control problems. To fulfil this mandate, two avenues of research and development were followed: the development of a benchmarking framework with optimisation-based G&amp;C and the improvement of the V&amp;V process – two radical advances with respect to traditional GNC DDVV. On the first topic, the new optimisation-based hierarchy was exploited, from high-level requirements and objectives that can be mathematically posed as optimal control problems, themselves organised in different levels of abstraction, complexity, and time-criticality depending on how close to the actuator level they are. The main line of this work is then focused on the core component of optimisation-based G&amp;C – the optimisation solver – starting with a formal analysis of its mathematical properties that allowed to identify meaningful requirements for V&amp;V, and, concurrently, with a thorough, step-by-step, design and implementation for embedding in a space target board. This application-agnostic analysis and development was associated with the DDVV of specific usecases of optimisation-based G&amp;C for common space applications of growing complexity, exploring different challenges in the form of convex problem complexity (up to second-order cone programs), problem size (model predictive control and trajectory optimization), and nonlinearity (both translation and attitude control problems). The novel V&amp;V approach relies on the combination and exploitation of the two main approaches: classical testing of the global on-board software, and local and compositional, formal, math-driven, verification. While the former sees systems as black boxes, feeding it with comprehensive inputs and analysing statistically the outputs, the latter delves deep into the sub-components of the software, effectively seeing it as white boxes whenever mathematically possible. In between the two approaches lies the optimal path to a thorough, dependable, mathematically sound verification and validation process: local, potentially application-agnostic, validation of the building blocks with respect to mathematical specifications leading up to application-specific testing of global complex systems, this time informed by the results of local validation and testing. The deep analysis of the mathematical properties of the optimisation algorithm allows to derive requirements with increasing complexity (e.g., from “the code implements the proper computations”, to higher level mathematical properties such as optimality, convergence, and feasibility). These are related to quantities of interest that can be both verified resorting to e-ACSL specifications and Frama-C in a C-code implementation of the solver, but also observed in online monitors in Simulink or in post-processing during the model/software-in-the-loop testing. Finally, the activity applies the devised V&amp;V process to the benchmark designs, from model-in-the-loop Monte Carlo testing, followed by autocoding and software-in-the-loop equivalence testing in parallel with the Frama-C runtime analysis, and concluded by processor-in-the-loop testing in a Hyperion on-board computer based around a Xilinx Zynq 7000 SoC.
APA, Harvard, Vancouver, ISO, and other styles
10

Bell, Mark, and Rahmat A. Shoureshi. "Hybrid Vibration Control of a Cable-Stayed Bridge." In ASME 1995 Design Engineering Technical Conferences collocated with the ASME 1995 15th International Computers in Engineering Conference and the ASME 1995 9th Annual Engineering Database Symposium. American Society of Mechanical Engineers, 1995. http://dx.doi.org/10.1115/detc1995-0581.

Full text
Abstract:
Abstract Hybrid vibration control, involving the combined use of feedforward and feedback control, is developed for a cable-stayed bridge using passivity-based control. The control objective is to reject all disturbances that cause unwanted motion in the bridge structure, namely seismic activity, wave loading and wind loading, while keeping energy consumption at a very low level. An experimental bridge prototype has been developed and simulations involving an analytical model derived from real data are presented. A three dimensional finite element model was developed of the bridge for verification purposes. A multiple time step ahead estimator is also developed using neural networks that is used in the feedforward loop to predict future bridge motion using past values of disturbance and output. Simulation results of the neural estimator are presented.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Control and verification activity"

1

DOUGLAS, J. G. At tank Low Activity Feed Homogeneity Analysis Verification. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/804787.

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

STEWART, J. L. Technical safety requirements control level verification. Office of Scientific and Technical Information (OSTI), 1999. http://dx.doi.org/10.2172/782336.

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

Bailey, J. M. Dual Mode Inverter Control Test Verification. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/814403.

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

Spurkland, Kristin. Framing Physical Activity: Weight Control Frames and Physical Activity Motivation. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.6332.

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

Drobot, A., L. Bunnell, W. Freeborn, et al. Verification of product quality from process control. Office of Scientific and Technical Information (OSTI), 1989. http://dx.doi.org/10.2172/6995908.

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

Hu, Vincent C. Machine Learning for Access Control Policy Verification. National Institute of Standards and Technology, 2021. http://dx.doi.org/10.6028/nist.ir.8360.

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

Hittinger, J. A., B. I. Cohen, and R. I. Klein. Uncertainty Quantification in the Fusion Simulation Project Verification and Validation Activity. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/1119966.

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

STAEHR, T. W. Low Activity Waste Feed Process Control Strategy. Office of Scientific and Technical Information (OSTI), 2000. http://dx.doi.org/10.2172/803929.

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

Baldwin, Albert S. Control of Akt Activity in Prostate Cancer. Defense Technical Information Center, 2009. http://dx.doi.org/10.21236/ada512632.

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

DeVolpi, A. Tags and seals to strengthen arms control verification. Office of Scientific and Technical Information (OSTI), 1990. http://dx.doi.org/10.2172/10149003.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Control and verification activity' 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