Literatura científica selecionada sobre o tema "Parameterised systems"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Parameterised systems".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Parameterised systems"
Groote, Jan Friso, e Tim A. C. Willemse. "Parameterised boolean equation systems". Theoretical Computer Science 343, n.º 3 (outubro de 2005): 332–69. http://dx.doi.org/10.1016/j.tcs.2005.06.016.
Texto completo da fonteOrzan, Simona, e Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems". Theoretical Computer Science 411, n.º 11-13 (março de 2010): 1338–71. http://dx.doi.org/10.1016/j.tcs.2009.11.001.
Texto completo da fonteKouvaros, Panagiotis, e Alessio Lomuscio. "Parameterised verification for multi-agent systems". Artificial Intelligence 234 (maio de 2016): 152–89. http://dx.doi.org/10.1016/j.artint.2016.01.008.
Texto completo da fontePloeger, B., J. W. Wesselink e T. A. C. Willemse. "Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems". Information and Computation 209, n.º 4 (abril de 2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.
Texto completo da fonteNagae, Yutaro, e Masahiko Sakai. "Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems". Electronic Proceedings in Theoretical Computer Science 265 (16 de fevereiro de 2018): 67–81. http://dx.doi.org/10.4204/eptcs.265.6.
Texto completo da fonteYoo, S. J. "Adaptive control of non-linearly parameterised pure-feedback systems". IET Control Theory & Applications 6, n.º 3 (2012): 467. http://dx.doi.org/10.1049/iet-cta.2011.0150.
Texto completo da fonteCalder, M., e A. Miller. "An automatic abstraction technique for verifying featured, parameterised systems". Theoretical Computer Science 404, n.º 3 (setembro de 2008): 235–55. http://dx.doi.org/10.1016/j.tcs.2008.03.034.
Texto completo da fonteTang, D. F., e S. Dobbie. "iGen 0.1: a program for the automated generation of models and parameterisations". Geoscientific Model Development 4, n.º 3 (16 de setembro de 2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.
Texto completo da fonteTang, D. F., e S. Dobbie. "iGen: a program for the automated generation of models and parameterisations". Geoscientific Model Development Discussions 4, n.º 2 (8 de abril de 2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.
Texto completo da fonteKant, Gijs, e Jaco van de Pol. "Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games". Electronic Proceedings in Theoretical Computer Science 99 (23 de outubro de 2012): 50–65. http://dx.doi.org/10.4204/eptcs.99.7.
Texto completo da fonteTeses / dissertações sobre o assunto "Parameterised systems"
Kouvaros, Panagiotis. "Parameterised verification for multi-agent systems". Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/33793.
Texto completo da fonteHouhou, Sara. "Parameterised Verification from Formal Specifications of Information Systems". Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS421.
Texto completo da fonteBusiness process models verification is crucial to detect possible errors at design time, rather than at execution on business process engines. BPMN is the primary notation for business process modelling. It is an ISO standard, widely used both in education and in industry. The semantics of BPMN are however defined in a semi-formal way within the standard. This is why many works have tackled the definition of formal semantics for BPMN. In this thesis, we first provided a detailed study of the main works relating to the verification of BPMN models. This allowed us to identify several fragments of the notation which are often put aside in the work of formalization, such as the different models of communication, the temporal management, or the multi-instance character. These aspects are however crucial for the extension of the field of application of BPMN to frameworks such as the Internet of Things or the Factory of the Future. We then defined an approach for the verification of business process collaboration models that supports several of these perspectives, namely the different communication models and time constraints. For this, we have defined formal execution semantics, in terms of first-order logic, to the BPMN fragment taken into account. We then defined implementations of this semantics in the formal languages TLA + and Alloy. Finally, this enabled the models to be verified using tools dedicated to these formal languages. Our approach is supported by a tool, fbpmn, allowing the formal transformation of BPMN models to TLA + and Alloy, the verification of models, and the animation of counter-examples when the properties to be verified are not satisfied. This feedback is done directly on the initial BPMN model which makes the approach practicable in a context of use by non-specialists of formal methods. A web application has also been developed to make it even easier to apply our formal approach in an industrial setting. Our tools, our TLA + and Alloy formal semantics implementations, and our library of examples are open sources and available online
Graham, Douglas. "Parameterised verification of randomised distributed systems using state-based models". Thesis, Connect to e-thesis, 2008. http://theses.gla.ac.uk/95/.
Texto completo da fontePh.D. thesis submitted to the Faculty of Information and Mathematical Sciences, University of Glasgow, 2008. Includes bibliographical references. Print version also available.
Lehaut, Mathieu. "Synthesis for parameterized systems". Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS341.
Texto completo da fonteIn this thesis, we study the synthesis problem for distributed systems where the number of participants is not known in advance and in which all participants interact with an uncontrollable environment. The synthesis problem is about automatically generating a program for such a system that would be correct by construction for a given specification, if such a program exist. We also study the closely related control problem, whose goal is generating a controller for a partially defined system such that all behaviors generated are correct with respect to the specification
Peach, Nigel G. "Bearings only tracking using a set of range parameterised extended Kalman filters". Thesis, University of Bath, 1997. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362303.
Texto completo da fonteMahata, Pritha. "Model Checking Parameterized Timed Systems". Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4835.
Texto completo da fonteMalak, Richard J. Jr. "Using parameterized efficient sets to model alternatives for systems design decisions". Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26697.
Texto completo da fonteCommittee Chair: Paredis, Christiaan J.J.; Committee Member: Bras, Bert; Committee Member: Choudhary, Ruchi; Committee Member: McGinnis, Leon; Committee Member: Rosen, David. Part of the SMARTech Electronic Thesis and Dissertation Collection.
Ben, Henda Noomene. "Infinite-state Stochastic and Parameterized Systems". Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8915.
Texto completo da fonteA major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization.
Systems with unbounded data structure are natural models for reasoning about communication protocols, concurrent programs, real-time systems, etc. While parameterized systems are more suitable if the system consists of an arbitrary number of identical processes which is the case for cache coherence protocols, distributed algorithms and so forth.
In this thesis, we consider model checking problems for certain fundamental classes of probabilistic infinite-state systems, as well as the verification of safety properties in parameterized systems. First, we consider probabilistic systems with unbounded data structures. In particular, we study probabilistic extensions of Lossy Channel Systems (PLCS), Vector addition Systems with States (PVASS) and Noisy Turing Machine (PNTM). We show how we can describe the semantics of such models by infinite-state Markov chains; and then define certain abstract properties, which allow model checking several qualitative and quantitative problems.
Then, we consider parameterized systems and provide a method which allows checking safety for several classes that differ in the topologies (linear or tree) and the semantics (atomic or non-atomic). The method is based on deriving an over-approximation which allows the use of a symbolic backward reachability scheme. For each class, the over-approximation we define guarantees monotonicity of the induced approximate transition system with respect to an appropriate order. This property is convenient in the sense that it preserves upward closedness when computing sets of predecessors.
Kojić, Aleksandar M. 1974. "Parameter estimation in nonlinearly parameterized systems". Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47637.
Texto completo da fonteRezine, Ahmed. "Parameterized Systems : Generalizing and Simplifying Automatic Verification". Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8587.
Texto completo da fonteLivros sobre o assunto "Parameterised systems"
S, Kain John, e United States. National Aeronautics and Space Administration., eds. Annual performance report for the period 15 April 1996 - 14 April 1997 for NASA grant no. NAG 5-2927 entitled evaluating and understanding parameterized convective processes and their role in the development of mesoscale precipitation systems. University Park, PA: Pennsylvania State University, Office of Sponsored Programs, 1997.
Encontre o texto completo da fonteNational Aeronautics and Space Administration (NASA) Staff. Evaluating and Understanding Parameterized Convective Processes and Their Role in the Development of Mesoscale Precipitation Systems. Independently Published, 2018.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Parameterised systems"
Groote, Jan Friso, e Tim Willemse. "Parameterised Boolean Equation Systems". In CONCUR 2004 - Concurrency Theory, 308–24. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-28644-8_20.
Texto completo da fonteAtif, Muhammad, e Jan Friso Groote. "Linear Processes and Parameterised BESs". In Studies in Systems, Decision and Control, 149–63. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-23008-0_8.
Texto completo da fonteOrzan, Simona, e Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems". In CONCUR 2008 - Concurrency Theory, 187–202. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_18.
Texto completo da fonteAştefănoaei, Lăcrămioara, Souha Ben Rayana, Saddek Bensalem, Marius Bozga e Jacques Combaz. "Compositional Verification of Parameterised Timed Systems". In Lecture Notes in Computer Science, 66–81. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9_6.
Texto completo da fontevan Dam, A., B. Ploeger e T. A. C. Willemse. "Instantiation for Parameterised Boolean Equation Systems". In Theoretical Aspects of Computing - ICTAC 2008, 440–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85762-4_30.
Texto completo da fonteSchneider, Eric, Elizabeth I. Sklar e Simon Parsons. "Evaluating Multi-Robot Teamwork in Parameterised Environments". In Towards Autonomous Robotic Systems, 301–13. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40379-3_32.
Texto completo da fonteCranen, Sjoerd, Bas Luttik e Tim A. C. Willemse. "Proof Graphs for Parameterised Boolean Equation Systems". In CONCUR 2013 – Concurrency Theory, 470–84. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40184-8_33.
Texto completo da fonteTimm, Nils, e Heike Wehrheim. "On Symmetries and Spotlights – Verifying Parameterised Systems". In Formal Methods and Software Engineering, 534–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4_35.
Texto completo da fonteKeiren, Jeroen J. A., Wieger Wesselink e Tim A. C. Willemse. "Liveness Analysis for Parameterised Boolean Equation Systems". In Automated Technology for Verification and Analysis, 219–34. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11936-6_16.
Texto completo da fonteHerden, Olaf. "Parameterised Patterns for Conceptual Modelling of Data Warehouses". In Databases and Information Systems, 97–108. Dordrecht: Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9636-7_8.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Parameterised systems"
Borve, Steinar. "Parameterised MRTD". In Electro-optical and Infrared Systems: Technology and Applications XX, editado por Duncan L. Hickman, Helge Bürsing, Ove Steinvall e Gary W. Kamerman. SPIE, 2023. http://dx.doi.org/10.1117/12.2676696.
Texto completo da fonteSiirtola, Antti. "Refinement Checking Parameterised Quorum Systems". In 2017 17th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2017. http://dx.doi.org/10.1109/acsd.2017.15.
Texto completo da fonteBelardinelli, Francesco, Panagiotis Kouvaros e Alessio Lomuscio. "Parameterised Verification of Data-aware Multi-Agent Systems". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/15.
Texto completo da fonteKouvaros, Panagiotis, e Alessio Lomuscio. "Verifying Fault-tolerance in Parameterised Multi-Agent Systems". In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/41.
Texto completo da fonteChen, Yu-Fang, Chih-Duo Hong, Anthony W. Lin e Philipp Rummer. "Learning to prove safety over parameterised concurrent systems". In 2017 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2017. http://dx.doi.org/10.23919/fmcad.2017.8102244.
Texto completo da fonteGallardo, María del Mar, Christophe Joubert e Pedro Merino. "Implementing Influence Analysis Using Parameterised Boolean Equation Systems". In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006). IEEE, 2006. http://dx.doi.org/10.1109/isola.2006.26.
Texto completo da fonteAzzuhri, Saaidal R., Marius Portmann e Wee Lum Tan. "Evaluation of parameterised route repair in AODV". In 2010 4th International Conference on Signal Processing and Communication Systems (ICSPCS 2010). IEEE, 2010. http://dx.doi.org/10.1109/icspcs.2010.5709663.
Texto completo da fonteBuckley, Scott J. H., e Anthony M. Sloane. "A formalisation of parameterised reference attribute grammars". In SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3136014.3136024.
Texto completo da fonteEstivill-Castro, Vladimir, e René Hexel. "Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems". In 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006573903640371.
Texto completo da fonteOchsenschlager, Peter, e Roland Rieke. "Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations". In 2011 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE, 2011. http://dx.doi.org/10.1109/pdp.2011.57.
Texto completo da fonteRelatórios de organizações sobre o assunto "Parameterised systems"
Popova, Evgenija. On a Class of Parameterized Solutions to Interval Parametric Linear Systems. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, maio de 2020. http://dx.doi.org/10.7546/crabs.2020.05.02.
Texto completo da fonteGrogan, Brandon Robert. The Development of a Parameterized Scatter Removal Algorithm for Nuclear Materials Identification System Imaging. Office of Scientific and Technical Information (OSTI), março de 2010. http://dx.doi.org/10.2172/973840.
Texto completo da fonteGrogan, Brandon R. THE DEVELOPMENT OF A PARAMETERIZED SCATTER REMOVAL ALGORITHM FOR NUCLEAR MATERIALS IDENTIFICATION SYSTEM IMAGING. Office of Scientific and Technical Information (OSTI), maio de 2010. http://dx.doi.org/10.2172/981787.
Texto completo da fonteChen, Yongzhou, Ammar Tahir e Radhika Mittal. Controlling Congestion via In-Network Content Adaptation. Illinois Center for Transportation, setembro de 2022. http://dx.doi.org/10.36501/0197-9191/22-018.
Texto completo da fonteAgénor, Pierre-Richard, e Luiz A. Pereira da Silva. Cyclically Adjusted Provisions and Financial Stability. Inter-American Development Bank, maio de 2016. http://dx.doi.org/10.18235/0011733.
Texto completo da fonteHamill, Daniel D., Jeremy J. Giovando, Chandler S. Engel, Travis A. Dahl e Michael D. Bartles. Application of a Radiation-Derived Temperature Index Model to the Willow Creek Watershed in Idaho, USA. U.S. Army Engineer Research and Development Center, agosto de 2021. http://dx.doi.org/10.21079/11681/41360.
Texto completo da fonteSelvaraju, Ragul, Hari Shankar e Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, setembro de 2020. http://dx.doi.org/10.4271/2020-28-0504.
Texto completo da fonteSelvaraju, Ragul, Hari Shankar e Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, setembro de 2020. http://dx.doi.org/10.4271/2020-28-0504.
Texto completo da fonte