Academic literature on the topic 'Verification of control systems'

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 'Verification of control systems.'

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 "Verification of control systems"

1

Chen, Mo, and Claire J. Tomlin. "Hamilton–Jacobi Reachability: Some Recent Theoretical Advances and Applications in Unmanned Airspace Management." Annual Review of Control, Robotics, and Autonomous Systems 1, no. 1 (May 28, 2018): 333–58. http://dx.doi.org/10.1146/annurev-control-060117-104941.

Full text
Abstract:
Autonomous systems are becoming pervasive in everyday life, and many of these systems are complex and safety-critical. Formal verification is important for providing performance and safety guarantees for these systems. In particular, Hamilton–Jacobi (HJ) reachability is a formal verification tool for nonlinear and hybrid systems; however, it is computationally intractable for analyzing complex systems, and computational burden is in general a difficult challenge in formal verification. In this review, we begin by briefly presenting background on reachability analysis with an emphasis on the HJ formulation. We then present recent work showing how high-dimensional reachability verification can be made more tractable by focusing on two areas of development: system decomposition for general nonlinear systems, and traffic protocols for unmanned airspace management. By tackling the curse of dimensionality, tractable verification of practical systems is becoming a reality, paving the way for more pervasive and safer automation.
APA, Harvard, Vancouver, ISO, and other styles
2

De Smet, Olivier, Jean-Jacques Lesage, and Jean-Marc Roussel. "Formal Verification of Industrial Control Systems." IFAC Proceedings Volumes 34, no. 17 (September 2001): 183–88. http://dx.doi.org/10.1016/s1474-6670(17)33277-9.

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

Zhang, Chi, Wenjie Ruan, and Peipei Xu. "Reachability Analysis of Neural Network Control Systems." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 12 (June 26, 2023): 15287–95. http://dx.doi.org/10.1609/aaai.v37i12.26783.

Full text
Abstract:
Neural network controllers (NNCs) have shown great promise in autonomous and cyber-physical systems. Despite the various verification approaches for neural networks, the safety analysis of NNCs remains an open problem. Existing verification approaches for neural network control systems (NNCSs) either can only work on a limited type of activation functions, or result in non-trivial over-approximation errors with time evolving. This paper proposes a verification framework for NNCS based on Lipschitzian optimisation, called DeepNNC. We first prove the Lipschitz continuity of closed-loop NNCSs by unrolling and eliminating the loops. We then reveal the working principles of applying Lipschitzian optimisation on NNCS verification and illustrate it by verifying an adaptive cruise control model. Compared to state-of-the-art verification approaches, DeepNNC shows superior performance in terms of efficiency and accuracy over a wide range of NNCs. We also provide a case study to demonstrate the capability of DeepNNC to handle a real-world, practical, and complex system. Our tool DeepNNC is available at https://github.com/TrustAI/DeepNNC.
APA, Harvard, Vancouver, ISO, and other styles
4

Hoxha, Bardh. "Verification and Control for Autonomous Mobile Systems." Electronic Proceedings in Theoretical Computer Science 361 (July 10, 2022): 7–8. http://dx.doi.org/10.4204/eptcs.361.3.

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

HASEGAWA, Masami. "S172026 SIL Verification of Safety Control Systems." Proceedings of Mechanical Engineering Congress, Japan 2013 (2013): _S172026–1—_S172026–4. http://dx.doi.org/10.1299/jsmemecj.2013._s172026-1.

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

Feketa, Petro, Sergiy Bogomolov, and Thomas Meurer. "Safety Verification for Impulsive Systems." IFAC-PapersOnLine 53, no. 2 (2020): 1949–54. http://dx.doi.org/10.1016/j.ifacol.2020.12.2589.

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

Rasina, Irina Viktorovna, and Oles Vla\-di\-mi\-ro\-vich Fesko. "Sufficient relative minimum conditions for discrete-continuous control systems." Program Systems: Theory and Applications 11, no. 2 (May 10, 2020): 61–73. http://dx.doi.org/10.25209/2079-3316-2020-11-2-61-73.

Full text
Abstract:
In this paper, we derive sufficient relative minimum conditions for discrete-continuous control systems on the base of Krotov’s sufficient optimality conditions counterpart. These conditions can be used as verification conditions for suggested control mode and enable one to construct new numerical methods.
APA, Harvard, Vancouver, ISO, and other styles
8

Rawlings, Blake C., Jinkyung Kim, Il Moon, and B. Erik Ydstie. "Symbolic Verification of Control Systems and Operating Procedures." Industrial & Engineering Chemistry Research 53, no. 13 (February 28, 2014): 5299–310. http://dx.doi.org/10.1021/ie402998g.

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

Mosterman, Pieter J., Gautam Biswas, and Janos Sztipanovits. "Hybrid Modeling and Verification of Embedded Control Systems." IFAC Proceedings Volumes 30, no. 4 (April 1997): 33–38. http://dx.doi.org/10.1016/s1474-6670(17)43608-1.

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

Norman, Gethin, David Parker, and Xueyi Zou. "Verification and control of partially observable probabilistic systems." Real-Time Systems 53, no. 3 (March 8, 2017): 354–402. http://dx.doi.org/10.1007/s11241-017-9269-4.

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

Dissertations / Theses on the topic "Verification of control systems"

1

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
2

Koleini, Masoud. "Verification of temporal-epistemic properties of access control systems." Thesis, University of Birmingham, 2012. http://etheses.bham.ac.uk//id/eprint/3706/.

Full text
Abstract:
Verification of access control systems against vulnerabilities has always been a challenging problem in the world of computer security. The complication of security policies in large- scale multi-agent systems increases the possible existence of vulnerabilities as a result of mistakes in policy definition. This thesis explores automated methods in order to verify temporal and epistemic properties of access control systems. While temporal property verification can reveal a considerable number of security holes, verification of epistemic properties in multi-agent systems enable us to infer about agents' knowledge in the system and hence, to detect unauthorized information flow. This thesis first presents a framework for knowledge-based verification of dynamic access control policies. This framework models a coalition-based system, which evaluates if a property or a goal can be achieved by a coalition of agents restricted by a set of permissions defined in the policy. Knowledge is restricted to the information that agents can acquire by reading system information in order to increase time and memory efficiency. The framework has its own model-checking method and is implemented in Java and released as an open source tool named \(\char{cmmi10}{0x50}\)\(\char{cmmi10}{0x6f}\)\(\char{cmmi10}{0x6c}\)\(\char{cmmi10}{0x69}\)\(\char{cmmi10}{0x56}\)\(\char{cmmi10}{0x65}\)\(\char{cmmi10}{0x72}\). In order to detect information leakage as a result of reasoning, the second part of this thesis presents a complimentary technique that evaluates access control policies over temporal-epistemic properties where the knowledge is gained by reasoning. We will demonstrate several case studies for a subset of properties that deal with reasoning about knowledge. To increase the efficiency, we develop an automated abstraction refinement technique for evaluating temporal-epistemic properties. For the last part of the thesis, we develop a sound and complete algorithm in order to identify information leakage in Datalog-based trust management systems.
APA, Harvard, Vancouver, ISO, and other styles
3

Lahijanian, Morteza M. "Formal verification and control of discrete-time stochastic systems." Thesis, Boston University, 2013. https://hdl.handle.net/2144/12804.

Full text
Abstract:
Thesis (Ph.D.)--Boston University PLEASE NOTE: Boston University Libraries did not receive an Authorization To Manage form for this thesis or dissertation. It is therefore not openly accessible, though it may be available by request. If you are the author or principal advisor of this work and would like to request open access for it, please contact us at open-help@bu.edu. Thank you.
This thesis establishes theoretical and computational frameworks for formal verification and control synthesis for discrete-time stochastic systems. Given a temporal logic specification, the system is analyzed to determine the probability that the specification is achieved, and an input law is automatically generated to maximize this probability. The approach consists of three main steps: constructing an abstraction of the stochastic system as a finite Markov model, mapping the given specification onto this abstraction, and finding a control policy to maximize the probability of satisfying the specification. The framework uses Probabilistic Computation Tree Logic (PCTL) as the specification language. The verification and synthesis algorithms are inspired by the field of probabilistic model checking. In abstraction, a method for the computation of the exact transition probability bounds between the regions of interest in the domain of the stochastic system is first developed. These bounds are then used to construct an Interval-valued Markov Chain (IMC) or a Bounded-parameter Markov Decision Process (BMDP) abstraction for the system. Then, a representative transition probability is used to construct an approximating Markov chain (MC) for the stochastic system. The exact bound of the approximation error and an explicit expression for its grovvth over time are derived. To achieve a desired error value, an adaptive refinement algorithm that takes advantage of the linear dynamics of the system is employed. To verify the properties of the continuous domain stochastic system against a finite-time PCTL specification, IMC and BMDP verification algorithms are designed. These algorithms have low computational complexity and are inspired by the MC model checking algorithms. The low computational complexity is achieved by over approximating the probabilities of satisfaction. To increase the precision of the method, two adaptive refinement procedures are proposed. Furthermore, a method of generating the control strategy that maximizes the probability of satisfaction of a PCTL specification for Markov Decision Processes (MDPs) is developed. Through a similar method, a formal synthesis framework is constructed for continuous domain stochastic systems by utilizing their BMDP abstractions. These methodologies are then applied in robotics applications as a means of automatically deploying a mobile robot subject to noisy sensors and actuators from PCTL specifications. This technique is demonstrated through simulation and experimental case studies of deployment of a robot in an indoor environment. The contributions of the thesis include verification and synthesis frameworks for discrete time stochastic linear systems, abstraction schemes for stochastic systems to MCs, IMCs, and BMDPs, model checking algorithms with low computational complexity for IMCs and BMDPs against finite-time PCTL formulas, synthesis algorithms for Markov Decision Processes (MDPs) from PCTL formulas, and a computational framework for automatic deployment of a mobile robot from PCTL specifications. The approaches were validated by simulations and experiments. The algorithms and techniques in this thesis help to make discrete-time stochastic systems a more useful and effective class of models for analysis and control of real world systems.
APA, Harvard, Vancouver, ISO, and other styles
4

de, Carvalho Gomes Pedro, and Attilio Picoco. "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems." KTH, Teoretisk datalogi, TCS, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-104076.

Full text
Abstract:
Formal verification techniques have been widely deployed as means to ensure the quality of software products. Unfortunately, they suffer with the combinatorial explosion of the state space. That is, programs have a large number of states, sometimes infinite. A common approach to alleviate the problem is to perform the verification over abstract models from the program. Control-flow graphs (CFG) are one of the most common models, and have been widely studied in the past decades. Unfortunately, previous works over modern programming languages, such as Java, have either neglected features that influence the control-flow, or do not provide a correctness argument about the CFG construction. This is an unbearable issue for formal verification, where soundness of CFGs is a mandatory condition for the verification of safety-critical properties. Moreover, one may want to extract CFGs from the available components of an open system. I.e., a system whose at least one of the components is missing. Soundness is even harder to achieve in this scenario, because of the unknown inter-dependences between software components. In the current work we present a framework to extract control-flow graphs from open Java Bytecode systems in a modular fashion. Our strategy requires the user to provide interfaces for the missing components. First, we present a formal definition of open Java bytecode systems. Next, we generalize a previous algorithm that performs the extraction of CFGs for closed programs to a modular set-up. The algorithm uses the user-provided interfaces to resolve inter-dependences involving missing components. Eventually the missing components will arrive, and the open system will become closed, and can execute. However, the arrival of a component may affect the soundness of CFGs which have been extracted previously. Thus, we define a refinement relation, which is a set of constraints upon the arrival of components, and prove that the relation guarantees the soundness of CFGs extracted with the modular algorithm. Therefore, the control-flow safety properties verified over the original CFGs still hold in the refined model. We implemented the modular extraction framework in the ConFlEx tool. Also, we have implemented the reusage from previous extractions, to enable the incremental extraction of a newly arrived component. Our technique performs substantial over-approximations to achieve soundness. Despite this, our test cases show that ConFlEx is efficient. Also, the extraction of the CFGs gets considerable speed-up by reusing results from previous analyses.

QC 20121029


Verification of Control-Flow Properties of Programs with Procedures(CVPP)
APA, Harvard, Vancouver, ISO, and other styles
5

Danielsson, Fredrik K. J. "Off-line programming, verification and optimisation of industrial control systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.269247.

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

Park, Taeshin 1966. "Formal verification and dynamic validation of logic-based control systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/50358.

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

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.
Includes bibliographical references (p. 74).
by Vida Uyen Ha.
M.Eng.and S.B.
APA, Harvard, Vancouver, ISO, and other styles
8

STESINA, FABRIZIO. "Design and verification of Guidance, Navigation and Control systems for space applications." Doctoral thesis, Politecnico di Torino, 2014. http://hdl.handle.net/11583/2540688.

Full text
Abstract:
In the last decades, systems have strongly increased their complexity in terms of number of functions that can be performed and quantity of relationships between functions and hardware as well as interactions of elements and disciplines concurring to the definition of the system. The growing complexity remarks the importance of defining methods and tools that improve the design, verification and validation of the system process: effectiveness and costs reduction without loss of confidence in the final product are the objectives that have to be pursued. Within the System Engineering context, the modern Model and Simulation based approach seems to be a promising strategy to meet the goals, because it reduces the wasted resources with respect to the traditional methods, saving money and tedious works. Model Based System Engineering (MBSE) starts from the idea that it is possible at any moment to verify, through simulation sessions and according to the phase of the life cycle, the feasibility, the capabilities and the performances of the system. Simulation is used during the engineering process and can be classified from fully numerical (i.e. all the equipment and conditions are reproduced as virtual model) to fully integrated hardware simulation (where the system is represented by real hardware and software modules in their operational environment). Within this range of simulations, a few important stages can be defined: algorithm in the loop (AIL), software in the loop (SIL), controller in the loop (CIL), hardware in the loop (HIL), and hybrid configurations among those. The research activity, in which this thesis is inserted, aims at defining and validating an iterative methodology (based on Model and Simulation approach) in support of engineering teams and devoted to improve the effectiveness of the design and verification of a space system with particular interest in Guidance Navigation and Control (GNC) subsystem. The choice of focusing on GNC derives from the common interest and background of the groups involved in this research program (ASSET at Politecnico di Torino and AvioSpace, an EADS company). Moreover, GNC system is sufficiently complex (demanding both specialist knowledge and system engineer skills) and vital for whatever spacecraft and, last but not least the verification of its behavior is difficult on ground because strong limitations on dynamics and environment reproduction arise. Considering that the verification should be performed along the entire product life cycle, a tool and a facility, a simulator, independent from the complexity level of the test and the stage of the project, is needed. This thesis deals with the design of the simulator, called StarSim, which is the real heart of the proposed methodology. It has been entirely designed and developed from the requirements definition to the software implementation and hardware construction, up to the assembly, integration and verification of the first simulator release. In addition, the development of this technology met the modern standards on software development and project management. StarSim is a unique and self-contained platform: this feature allows to mitigate the risk of incompatibility, misunderstandings and loss of information that may arise using different software, simulation tools and facilities along the various phases. Modularity, flexibility, speed, connectivity, real time operation, fidelity with real world, ease of data management, effectiveness and congruence of the outputs with respect to the inputs are the sought-after features in the StarSim design. For every iteration of the methodology, StarSim guarantees the possibility to verify the behavior of the system under test thanks to the permanent availability of virtual models, that substitute all those elements not yet available and all the non-reproducible dynamics and environmental conditions. StarSim provides a furnished and user friendly database of models and interfaces that cover different levels of detail and fidelity, and supports the updating of the database allowing the user to create custom models (following few, simple rules). Progressively, pieces of the on board software and hardware can be introduced without stopping the process of design and verification, avoiding delays and loss of resources. StarSim has been used for the first time with the CubeSats belonging to the e-st@r program. It is an educational project carried out by students and researchers of the “CubeSat Team Polito” in which StarSim has been mainly used for the payload development, an Active Attitude Determination and Control System, but StarSim’s capabilities have also been updated to evaluate functionalities, operations and performances of the entire satellite. AIL, SIL, CIL, HIL simulations have been performed along all the phases of the project, successfully verifying a great number of functional and operational requirements. In particular, attitude determination algorithms, control laws, modes of operation have been selected and verified; software has been developed step by step and the bugs-free executable files have been loaded on the micro-controller. All the interfaces and protocols as well as data and commands handling have been verified. Actuators, logic and electrical circuits have been designed, built and tested and sensors calibration has been performed. Problems such as real time and synchronization have been solved and a complete hardware in the loop simulation test campaign both for A-ADCS standalone and for the entire satellite has been performed, verifying the satisfaction of a great number of CubeSat functional and operational requirements. The case study represents the first validation of the methodology with the first release of StarSim. It has been proven that the methodology is effective in demonstrating that improving the design and verification activities is a key point to increase the confidence level in the success of a space mission.
APA, Harvard, Vancouver, ISO, and other styles
9

Low, Marie Rose. "Self defence in open systems : protecting and sharing resources in a distributed open environment." Thesis, University of Hertfordshire, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241623.

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

Hu, Zhongjun. "Switching-Based Harmonic Disturbance Rejection for Uncertain Systems: An Experimental Verification." The Ohio State University, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1577987902093915.

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

Books on the topic "Verification of control systems"

1

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

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

service), SpringerLink (Online, ed. Verification and Control of Hybrid Systems: A Symbolic Approach. Boston, MA: Springer-Verlag US, 2009.

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

Lempert, Robert J. Emerging technology systems and arms control. Santa Monica, CA: Rand, 1991.

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

Apt, Kenneth E. A systems approach to chemical weapons verification. Los Alamos, N.M: Center for National Security Studies, Los Alamos National Laboratory, 1990.

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

Verification, validation, and testing of engineered systems. Hoboken, N.J: Wiley, 2010.

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

Danielsson, Fredrik K. J. Off-line programming, verification and optimisation of industrial control systems. Leicester: De Montfort University, 2002.

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

M, Schwenk David, and US Army Engineering and Housing Support Center., eds. Standard HVAC control systems commissioning and quality verification user guide. Fort Belvoir, VA: U.S. Army Engineering and Housing Support Center, 1994.

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

L, Wilson C. Simple test procedure for image-based biometric verification systems. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1999.

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

1944-, Wise John A., Hopkin V. David, Stager Paul, North Atlantic Treaty Organization. Scientific Affairs Division., and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Human factors issues. Berlin: Springer-Verlag, 1993.

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

1944-, Wise John A., Hopkin V. David, Stager Paul, and NATO Advanced Study Institute and Validation of Complex and Integrated Human-Machine Systems (1992 : Vimeiro, Lisbon, Portugal), eds. Verification and validation of complex systems: Additional human factors issues. Daytona Beach, Fla: Embry-Riddle Aeronautical University Press, 1993.

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

Book chapters on the topic "Verification of control systems"

1

Yadegari, Babak, and Saumya Debray. "Control Dependencies in Interpretive Systems." In Runtime Verification, 312–29. Cham: 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
2

Tabuada, Paulo. "Verification." In Verification and Control of Hybrid Systems, 43–50. Boston, MA: 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

Kurzhanski, Alexander B., and Pravin Varaiya. "Verification: Hybrid Systems." In Systems & Control: Foundations & Applications, 395–429. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10277-1_11.

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

Girard, Antoine, and George J. Pappas. "Verification Using Simulation." In Hybrid Systems: Computation and Control, 272–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11730637_22.

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

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

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

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

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

Tabuada, Paulo. "Control problems." In Verification and Control of Hybrid Systems, 25–26. Boston, MA: Springer US, 2009. http://dx.doi.org/10.1007/978-1-4419-0224-5_3.

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

Fehnker, Ansgar, and Franjo Ivančić. "Benchmarks for Hybrid Systems Verification." In Hybrid Systems: Computation and Control, 326–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24743-2_22.

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

Zutshi, Aditya, Sriram Sankaranarayanan, and Ashish Tiwari. "Timed Relational Abstractions for Sampled Data Control Systems." In Computer Aided Verification, 343–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_27.

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

Majumdar, Rupak, and Majid Zamani. "Approximately Bisimilar Symbolic Models for Digital Control Systems." In Computer Aided Verification, 362–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31424-7_28.

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

Conference papers on the topic "Verification of control systems"

1

Araiza-Illan, Dejanira, Kerstin Eder, and Arthur Richards. "Formal verification of control systems' properties with theorem proving." In 2014 UKACC International Conference on Control (CONTROL). IEEE, 2014. http://dx.doi.org/10.1109/control.2014.6915147.

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

Kumar, R., and B. H. Krogh. "Heterogeneous verification of embedded control systems." In 2006 American Control Conference. IEEE, 2006. http://dx.doi.org/10.1109/acc.2006.1657445.

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

Jin, Xiaoqing, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, and Ken Butts. "Powertrain control verification benchmark." In HSCC'14: 17th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2014. http://dx.doi.org/10.1145/2562059.2562140.

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

Fang, Huixing, Jian Guo, Huibiao Zhu, and Jianqi Shi. "Formal Verification and Simulation: Co-verification for Subway Control Systems." In 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.11.

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

Roohi, Nima, Yu Wang, Matthew West, Geir E. Dullerud, and Mahesh Viswanathan. "Statistical Verification of the Toyota Powertrain Control Verification Benchmark." In HSCC '17: 20th International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3049797.3049804.

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

Garavello, Mauro. "Verification Theorems for HJB equations." In Control Systems: Theory, Numerics and Applications. Trieste, Italy: Sissa Medialab, 2006. http://dx.doi.org/10.22323/1.018.0021.

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

Anand, Mahathi, Vishnu Murali, Ashutosh Trivedi, and Majid Zamani. "Formal verification of hyperproperties for control systems." In CPS-IoT Week '21: Cyber-Physical Systems and Internet of Things Week 2021. New York, NY, USA: ACM, 2021. http://dx.doi.org/10.1145/3457335.3461715.

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

Tiwari, Ashish. "Bounded Verification of Adaptive Flight Control Systems." In AIAA Infotech@Aerospace 2010. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2010. http://dx.doi.org/10.2514/6.2010-3362.

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

Fainekos, Georgios E., and George J. Pappas. "MTL robust testing and verification for LPV systems." In 2009 American Control Conference. IEEE, 2009. http://dx.doi.org/10.1109/acc.2009.5159969.

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

Wang, Li, and Yu Wensheng. "Systems safety verification by boundary variation analysis." In 2015 34th Chinese Control Conference (CCC). IEEE, 2015. http://dx.doi.org/10.1109/chicc.2015.7260097.

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

Reports on the topic "Verification of control systems"

1

May, William B., and George E. Kelly. Verification of public domain control algorithms for building energy management and control systems. Gaithersburg, MD: National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.ir.85-3285.

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

Mittelsteadt, Matthew. AI Verification: Mechanisms to Ensure AI Arms Control Compliance. Center for Security and Emerging Technology, February 2021. http://dx.doi.org/10.51593/20190020.

Full text
Abstract:
The rapid integration of artificial intelligence into military systems raises critical questions of ethics, design and safety. While many states and organizations have called for some form of “AI arms control,” few have discussed the technical details of verifying countries’ compliance with these regulations. This brief offers a starting point, defining the goals of “AI verification” and proposing several mechanisms to support arms inspections and continuous verification.
APA, Harvard, Vancouver, ISO, and other styles
3

Podvig, Pavel, Markus Schiller, Amy Woolf, Christine Parthemore, Almudena Azcárate Ortega, Dmitry Stefanovich, and Decker Eveleth. Exploring Options for Missile Verification. Edited by Pavel Podvig. The United Nations Institute for Disarmament Research, March 2022. http://dx.doi.org/10.37559/wmd/22/misver/01.

Full text
Abstract:
Missiles are becoming an increasingly prominent element of military arsenals, but the system of arms control that helped provide a check on the missile arms race is under considerable stress. Addressing this challenge will require developing new approaches to missile verification. This report covers various aspects of verification arrangements that could be applied to missiles. The authors look at the experience of past arms control and disarmament efforts, provide an overview of existing verification tools, and initiate a discussion of potential arrangements that could make future arms control agreements possible. The general conclusion of the report is that there is a variety of options to consider. Most verification arrangements would require a fairly high level of transparency, but that is what makes them stronger and more reliable. The path to building an effective verification arrangement is to design it in a way that facilitates cooperation and transparency.
APA, Harvard, Vancouver, ISO, and other styles
4

Raksincharoensak, Pongsathorn, Yutaka Ofuji, Motoki Shino, and Masao Nagai. Experimental Study on Intelligent Driving Assistance System by Using Direct Yaw Moment Control~Lane Keeping Control System Verification by Actual Driving Test. Warrendale, PA: SAE International, May 2005. http://dx.doi.org/10.4271/2005-08-0252.

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

McNeece, S. G., and R. W. Truitt. System verification and validation plan for SY-101 Hydrogen Mitigation Test Project Data Acquisition and Control System (DACS-1). Office of Scientific and Technical Information (OSTI), September 1994. http://dx.doi.org/10.2172/10103601.

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

Krabill, Eleanor, Vivienne Zhang, Eric Lepowsky, Christoph Wirz, Alexander Glaser, Jaewoo Shin, Veronika Bedenko, and Pavel Podvig. Menzingen Verification Experiment - Verifying the Absence of Nuclear Weapons in the Field. Edited by Pavel Podvig. The United Nations Institute for Disarmament Research, July 2023. http://dx.doi.org/10.37559/wmd/23/mve.

Full text
Abstract:
The Menzingen Verification Experiment described in this report was designed to test practical procedures for verifying the absence of nuclear weapons at a storage site. The experiment, which was conducted on 8 March 2023, was organized by UNIDIR in partnership with the Swiss Armed Forces, Spiez Laboratory, Princeton University’s Program on Science and Global Security, and the Open Nuclear Network. The project was supported by the Governments of the Kingdom of the Netherlands, Norway, and Switzerland. The experiment modelled an on-site inspection of a nuclear weapons storage site, represented by a former air defence site near Menzingen, Switzerland. In preparation for the experiment, UNIDIR developed a model protocol governing the inspection activities. Together with its partners, it designed procedures to confirm the non-nuclear nature of the inspected items, including radiation measurements with active sources, and arranged for the acquisition of satellite imagery of the site. The scenario developed for the experiment assumed that the inspection was conducted as part of an agreement that requires the parties to remove all nuclear weapons from storage sites associated with military bases that host nuclear-capable delivery systems. The inspection procedures used in the experiment were modelled on those developed for the Conventional Forces in Europe Treaty and New START. The Menzingen Verification Experiment demonstrated in practice the viability of the approach to nuclear disarmament based on removing nuclear weapons from their delivery systems. It provided an opportunity to test in practice specific verification procedures and techniques, provided valuable insights into the challenges that can be encountered during an on-site inspection, and identified promising new approaches to verification that can create political space for arms control and disarmament initiatives.
APA, Harvard, Vancouver, ISO, and other styles
7

Ermi, A. M., G. J. Gauck, and S. O. Smith. System verification and validation plan for SY-101 hydrogen mitigation test project data acquisition and control system (DACS-1). Revision 1. Office of Scientific and Technical Information (OSTI), June 1995. http://dx.doi.org/10.2172/408579.

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

Findlay, Trevor. The Role of International Organizations in WMD Compliance and Enforcement: Autonomy, Agency, and Influence. The United Nations Institute for Disarmament Research, December 2020. http://dx.doi.org/10.37559/wmd/20/wmdce9.

Full text
Abstract:
Major multilateral arms control and disarmament treaties dealing with weapons of mass destruction (WMD) often have mandated an international organization to monitor and verify State party compliance and to handle cases of non-compliance. There are marked differences in the mandates and technical capabilities of these bodies. Nonetheless, they often face the same operational and existential challenges. This report looks at the role of multilateral verification bodies, especially their secretariats, in dealing with compliance and enforcement, the extent to which they achieve “agency” and “influence” in doing so, and whether and how such capacities might be enhanced. In WMD organizations it is the governing bodies that make decisions about noncompliance and enforcement. The role of their secretariats is to manage the monitoring and verification systems, analyse the resulting data – and data from other permitted sources – and alert their governing bodies to suspicions of non-compliance. Secretariats are expected to be impartial, technically oriented and professional. It is when a serious allegation of non-compliance arises that their role becomes most sensitive politically and most vital. The credibility of Secretariats in these instances will depend on the agency and influence that they have accumulated. There are numerous ways in which an international secretariat can position itself for maximum agency and influence, essentially by making itself indispensable to member States and the broader international community. It can achieve this by engaging with multiple stakeholders, aiming for excellence in its human and technical resources, providing timely and sustainable implementation assistance, ensuring an appropriate organizational culture and, perhaps most of all, understanding that knowledge is power. The challenge for supporters of international verification organizations is to enhance those elements that give them agency and influence and minimize those that lead to inefficiencies, dysfunction and, most damaging of all, political interference in verification and compliance judgements.
APA, Harvard, Vancouver, ISO, and other styles
9

Mayer, Barbara A., and Monica M. Lu. Guidelines for Formal Verification Systems. Fort Belvoir, VA: Defense Technical Information Center, April 1989. http://dx.doi.org/10.21236/ada385357.

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

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

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!

To the bibliography