Dissertations / Theses on the topic 'Planning systems'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Planning 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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Martz, William Benjamin Jr. "Information systems infrastructure for manufacturing planning systems." Diss., The University of Arizona, 1989. http://hdl.handle.net/10150/184720.
Full textVonk, Guido A. "Improving planning support : the use of planning support systems for spatial planning /." Utrecht : Koninklijk Nederlands Aardrijkskundig Genootschap, 2006. http://www.loc.gov/catdir/toc/fy0802/2006436743.html.
Full textGoodspeed, Robert (Robert Charles). "Planning support systems for spatial planning through social learning." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/81739.
Full textThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (p. 240-271).
This dissertation examines new professional practices in urban planning that utilize new types of spatial planning support systems (PSS) based on geographic information systems (GIS) software. Through a mixed-methods research design, the dissertation investigates the role of these new technologies in planning workshops, processes, and as metropolitan infrastructures. In particular, PSS are viewed as supporting social learning in spatial planning processes. The study includes cases in Boston, Kansas City, and Austin. The findings indicate high levels of social learning, broadly confirming the collaborative planning theory literature. Participants at planning workshops that incorporated embodied computing interaction designs reported higher levels of two forms of learning drawn from Argyris and Schöns' theory of organizational learning: single and double loop learning. Single loop learning is measured as reported learning. Double loop learning, characterized by deliberation about goals and values, is measured with a novel summative scale. These workshops utilized PSS to contribute indicators to the discussion through the use of paper maps for input and human operators for output. A regression analysis reveals that the PSS contributed to learning by encouraging imagination, engagement, and alignment. Participantsʼ perceived identities as planners, personality characteristics, and frequency of meeting attendance were also related to the learning outcomes. However, less learning was observed at workshops with many detailed maps and limited time for discussion, and exercises lacking PSS feedback. The development of PSS infrastructure is investigated by conducting a qualitative analysis of focus groups of professional planners, and a case where a PSS was planned but not implemented. The dissertation draws on the research literatures on learning, PSS and urban computer models, and planning theory. The research design is influenced by a sociotechnical perspective and design research paradigms from several fields. The dissertation argues social learning is required to achieve many normative goals in planning, such as institutional change and urban sustainability. The relationship between planning processes and outcomes, and implications of information technology trends for PSS and spatial planning are discussed.
by Robert Goodspeed.
Ph.D.
MOSTARDEIRO, MARIANA. "METHODS FOR WCDMA SYSTEMS PLANNING." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2003. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5095@1.
Full textEste trabalho apresenta um estudo detalhado de técnicas de planejamento de sistemas celulares de terceira geração WCDMA. Primeiramente é realizado um estudo teórico do sistema WCDMA, da estrutura da interface aérea, dos diversos tipos de canais presentes no downlink e no uplink. A seguir são aprentadas técnicas de planejamento de rede, com uma análise detalhada do cálculo de enlace e do planejamento de cobertura do sistema celular. Com base neste estudo foram realizadas diversas simulações com o software aberto NPSW para diferentes situações em relação a tipos de serviço, condições de uso e carga no sistema. Estas simulações permitiram caracterizar os efeitos dos diversos parâmetros de entrada no desempenho do sistema. Finalmente, é apresentado um estudo de caso de planejamento para a região do centro do Rio de Janeiro.
This work presents a detailed study of planning tecniques for third generation WCDMA cellular systems. At first a theoretical study of the WCDMA system is presented, including the structure of the air interface and the various channel types in the downlink and uplink. Following, network planning techniques are presented, with a detailed analysis of the link budget calculations and the system coverage planning issues. Based on this study, the system behaviour was simulated using the open software NPSW for different configurations of service, operation condition and system load. The simulations allowed the characterization of the effect of several parameters on the system performance. Finally, a case study of coverage planning for downtown Rio de Janeiro is presented.
Salter, Mark. "Planning systems for small firms." Thesis, Sheffield Hallam University, 1989. http://shura.shu.ac.uk/20316/.
Full textRosengren, Alexandra, and Andrea Standoft. "Control in gazelle organizations : Research on management systems, enterprise resource planning systems and strategic planning." Thesis, Internationella Handelshögskolan, Högskolan i Jönköping, IHH, ESOL (Entrepreneurship, Strategy, Organization, Leadership), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-15761.
Full textEckert, Jeanette Elizabeth. "Food systems, planning and quantifying access : how urban planning can strengthen Toledo's local food system." Toledo, Ohio : University of Toledo, 2010. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=toledo1271266072.
Full textTypescript. "Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Master of Arts Degree in Geography." "A thesis entitled"--at head of title. Title from title page of PDF document. Bibliography: p. 52-57.
Eckert, Jeanette Elizabeth. "Food Systems, Planning and Quantifying Access: How Urban Planning Can Strengthen Toledo’s Local Food System." University of Toledo / OhioLINK, 2010. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1271266072.
Full textBasit, Syed Abdul, and Omar Malik. "Planning and Analysis of Knowledge Intensive Enterprise Resource Planning Systems." Thesis, Blekinge Tekniska Högskola, Avdelningen för för interaktion och systemdesign, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4327.
Full textSyed Abdul Basit basitbth@gmail.com, Omar Malik omar_m20@hotmail.com.
Manaf, Afwarman 1962. "Constraint-based software for broadband networks planninga software framework for planning with the holistic approach /." Monash University, Dept. of Electrical and Computer Systems Engineering, 2000. http://arrow.monash.edu.au/hdl/1959.1/8163.
Full textEl, Zein Musadag. "Off-grid Wind Power Systems: Planning and Decision Making." Thesis, Uppsala universitet, Institutionen för geovetenskaper, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-396057.
Full textWegner, Christopher M. "System-of-systems test planning in a complex joint environment." Thesis, Monterey, Calif. : Naval Postgraduate School, 2007. http://bosun.nps.edu/uhtbin/hyperion-image.exe/07Jun%5FWegner.pdf.
Full textThesis Advisor(s): Thomas W. Lucas. "June 2007." Includes bibliographical references (p. 65-66). Also available in print.
Kenaroglu, Bahar. "Enterprise Resource Planning Systems Selection Process." Master's thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12605086/index.pdf.
Full textKahen, Goel. "Strategic planning systems in technological development." Thesis, Imperial College London, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336467.
Full textMrsic-Flogel, Janko. "Aspects of planning with neural systems." Thesis, Imperial College London, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.284305.
Full textAkillioglu, Hakan. "Evolvable Production Systems: Demand Responsive Planning." Licentiate thesis, KTH, Produktionssystem, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-48562.
Full textQC 20140916
Garagnani, Massimiliano. "Belief systems for persuasive discourse planning." Thesis, Durham University, 1999. http://etheses.dur.ac.uk/4302/.
Full textTorreño, Lerma Alejandro. "Cooperative planning in multi-agent systems." Doctoral thesis, Universitat Politècnica de València, 2016. http://hdl.handle.net/10251/65815.
Full text[ES] La planificación automática es un proceso centralizado en el que una única entidad de planificación, o agente, sintetiza un curso de acción, o plan, que satisface un conjunto deseado de objetivos a partir de una situación inicial. Un Sistema Multi-Agente (SMA) es un sistema distribuido en el que un grupo de agentes autónomos persiguen sus propias metas de forma reactiva, proactiva y social. La Planificación Multi-Agente (PMA) es un nuevo campo de investigación que surge de la integración de planificación automática en SMA. Los agentes disponen de capacidades de planificación y su propósito consiste en generar un curso de acción que alcance los objetivos de la tarea de PMA. La PMA generaliza el problema de planificación automática en dominios en los que diversos agentes planifican y actúan conjuntamente mediante la combinación de sus conocimientos, información y capacidades. En PMA cooperativa, se asume que los agentes son colaborativos y trabajan conjuntamente para la construcción de un plan competente que resuelva una serie de objetivos comunes. Existen distintos métodos para alcanzar este objetivo que varían de acuerdo a la tipología y las necesidades de coordinación de la tarea de PMA a resolver; esto es, hasta qué punto los agentes pueden generar sus propios planes locales sin afectar a las actividades de otros agentes. La presente tesis doctoral se centra en el diseño, desarrollo y evaluación experimental de una herramienta independiente del dominio y de propósito general para la resolución de tareas de PMA cooperativa de distinta tipología y nivel de complejidad. Particularmente, nuestro modelo realiza una búsqueda multi-agente y multi-heurística sobre el espacio de planes. Los agentes hacen uso de un motor de búsqueda embebido basado en Planificación de Orden Parcial de encadenamiento progresivo para generar planes refinamiento de forma sucesiva mientras exploran conjuntamente el árbol de búsqueda multiagente. Todos los procesos de razonamiento, algoritmos y protocolos de coordinación están totalmente distribuidos entre los agentes y garantizan la preservación de la información privada de los agentes. La búsqueda multi-agente se guía mediante la alternancia de dos funciones heurísticas basadas en estados. Estos estimadores heurísticos utilizan la información global de la tarea de PMA en lugar de las proyecciones locales de la tarea de cada agente. La evaluación experimental muestra la efectividad de nuestro esquema de búsqueda multi-heurístico, que obtiene resultados significativos en una amplia variedad de tareas de PMA cooperativa adaptadas a partir de los bancos de pruebas de las Competición Internacional de Planificación.
[CAT] La planificació automàtica és un procés centralitzat en el que una única entitat de planificació, o agent, sintetitza un curs d'acció, o pla, que satisfau un conjunt desitjat d'objectius a partir d'una situació inicial. Un Sistema Multi-Agent (SMA) és un sistema distribuït en el que un grup d'agents autònoms persegueixen les seues pròpies metes de forma reactiva, proactiva i social. La Planificació Multi-Agent (PMA) és un nou camp d'investigació que sorgeix de la integració de planificació automàtica en SMA. Els agents estan dotats de capacitats de planificació i el seu propòsit consisteix en generar un curs d'acció que aconseguisca els objectius de la tasca de PMA. La PMA generalitza el problema de planificació automàtica en dominis en què diversos agents planifiquen i actúen conjuntament mitjançant la combinació dels seus coneixements, informació i capacitats. En PMA cooperativa, s'assumeix que els agents són col·laboratius i treballen conjuntament per la construcció d'un pla competent que ressolga una sèrie d'objectius comuns. Existeixen diferents mètodes per assolir aquest objectiu que varien d'acord a la tipologia i les necessitats de coordinació de la tasca de PMA a ressoldre; és a dir, fins a quin punt els agents poden generar els seus propis plans locals sense afectar a les activitats d'altres agents. La present tesi doctoral es centra en el disseny, desenvolupament i avaluació experimental d'una ferramenta independent del domini i de propòsit general per la resolució de tasques de PMA cooperativa de diferent tipologia i nivell de complexitat. Particularment, el nostre model realitza una cerca multi-agent i multi-heuristica sobre l'espai de plans. Els agents fan ús d'un motor de cerca embegut en base a Planificació d'Ordre Parcial d'encadenament progressiu per generar plans de refinament de forma successiva mentre exploren conjuntament l'arbre de cerca multiagent. Tots els processos de raonament, algoritmes i protocols de coordinació estan totalment distribuïts entre els agents i garanteixen la preservació de la informació privada dels agents. La cerca multi-agent es guia mitjançant l'aternança de dues funcions heurístiques basades en estats. Aquests estimadors heurístics utilitzen la informació global de la tasca de PMA en lloc de les projeccions locals de la tasca de cada agent. L'avaluació experimental mostra l'efectivitat del nostre esquema de cerca multi-heurístic, que obté resultats significatius en una ampla varietat de tasques de PMA cooperativa adaptades a partir dels bancs de proves de la Competició Internacional de Planificació.
Torreño Lerma, A. (2016). Cooperative planning in multi-agent systems [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/65815
TESIS
Premiado
Hawkins, Janine D. "Planning and implementing safety management systems." Thesis, Aston University, 2001. http://publications.aston.ac.uk/11768/.
Full textMatrosov, E. S. "Planning water resource systems under uncertainty." Thesis, University College London (University of London), 2015. http://discovery.ucl.ac.uk/1468958/.
Full textLiu, Tuo. "Analytical modeling of HSUPA-enabled UMTS networks for capacity planning." Connect to full text, 2008. http://ses.library.usyd.edu.au/handle/2123/4055.
Full textTitle from title screen (viewed February 20, 2009). Includes graphs and tables. Includes list of publications co-authored with others. Submitted in fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Information Technologies, Faculty of Engineering and Information Technologies. Degree awarded 2009; thesis submitted 2008. Includes bibliographical references. Also available in print form.
Manaf, Afwarman 1962. "Constraint-based software for broadband networks planning : a software framework for planning with the holistic approach." Monash University, Dept. of Electrical and Computer Systems Engineering, 2000. http://arrow.monash.edu.au/hdl/1959.1/7754.
Full textJha, Ratan (Ratan Mohan). "Customer focused collaborative demand planning." Thesis, Massachusetts Institute of Technology, 2008. http://hdl.handle.net/1721.1/45225.
Full textIncludes bibliographical references (leaf 74).
Many firms worldwide have adopted the process of Sales & Operations Planning (S&OP) process where internal departments within a firm collaborate with each other to generate a demand forecast. In a collaborative demand planning process buyers and sellers collaborate with each other to generate a mutually agreed upon forecast which takes into account the needs and limitations of both buyers and sellers. In this research we concentrate on finding out the value from both statistical and qualitative forecasts. We apply standard forecasting algorithms to generate a statistical forecast. We also generate a hybrid model that is a weighted technique using both a statistical and qualitative forecast. Then we evaluate the statistical, hybrid, and qualitative collaborative forecasts using an error analysis methodology. Finally we recommend an approach for forecasting a family of items based on our analysis and results. We also recommend changes to the existing process so that our recommendations on the forecasting approach can get seamlessly integrated into the overall process.
by Ratan Jha.
M.Eng.in Logistics
Cederborg, Ola. "Case studies in Advanced Planning Systems for Tactical Planning in Process Industries." Licentiate thesis, Linköpings universitet, Produktionsekonomi, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-62822.
Full textISCAPS
PIC-LI
APPLEGATE, LYNDA MCDONALD. "IDEA MANAGEMENT IN ORGANIZATION PLANNING (BRAINSTORMING, STRATEGY)." Diss., The University of Arizona, 1986. http://hdl.handle.net/10150/183905.
Full textPiotrowski, Wiktor Mateusz. "Heuristics for AI planning in hybrid systems." Thesis, King's College London (University of London), 2018. https://kclpure.kcl.ac.uk/portal/en/theses/heuristics-for-ai-planning-in-hybrid-systems(bbe2ba21-3449-4689-8bf8-6e441515cd10).html.
Full textZhou, Kai. "Planning support systems for sustainable urban regeneration." Thesis, University of Manchester, 2011. https://www.research.manchester.ac.uk/portal/en/theses/planning-support-systems-for-sustainable-urban-regeneration(7f79c557-9384-4541-8a96-52944acab077).html.
Full textForsmo, Erik Johannes. "Optimal Path Planning for Unmanned Aerial Systems." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for teknisk kybernetikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-18441.
Full textCameron, Jonathan M. "Modeling and motion planning for nonholonomic systems." Diss., Georgia Institute of Technology, 1993. http://hdl.handle.net/1853/17793.
Full textRoos, Håkan. "Physical Planning of ASIC’s in mobile systems." Thesis, Linköping University, Department of Electrical Engineering, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-8641.
Full textWith increasing demands in terms of timing, area and power, today’s ASIC (Application Specific Integrated Circuit) designers are faced with new problems as technology emerges. Ericsson has started to work in 65 nm and realized that the methods used in previous, larger technologies, does not offer good enough correlation between synthesis and the results after physical placement. This leads to several expensive and time consuming iterations back and forth between Ericsson and the ASIC vendor.
In order to narrow the gap between Ericsson and the ASIC vendor, and hence increase correlation, physical planning has been identified as a possible solution. Cadence First Encounter, part of the Cadence Encounter digital IC design platform, is an advanced tool for silicon virtual prototyping. The tool basically brings back-end placement knowledge to front-end ASIC designers.
This master’s thesis main goal is to evaluate Cadence First Encounter and investigate how it could be integrated with Ericsson’s design flow. The tool has been tested on previous designs with known issues and the results are positive. By using the prototype work flow in First Encounter that is described in this report, it is possible to identify and correct issues with the netlists in time, which will help shortening the lead time in projects and hence also the time to market.
Bonert, Martin. "Motion planning for multi-robot assembly systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape8/PQDD_0004/MQ45428.pdf.
Full textKazakidis, Vassilios N. "Operating risk, planning for flexible mining systems." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ61126.pdf.
Full textLarkworthy, Thomas James. "Motion planning for self-reconfiguring robotic systems." Thesis, University of Edinburgh, 2012. http://hdl.handle.net/1842/6256.
Full textStephenson, Richard Lawrence. "Information systems and policy processes in planning." Thesis, Oxford Brookes University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325434.
Full textRazzaq, Sohail. "Routing and mission planning in autonomous systems." Thesis, Lancaster University, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.656334.
Full textYu, Han. "PLANNING AND SCHEDULING FOR LARGE-SCALEDISTRIBUTED SYSTEMS." Doctoral diss., University of Central Florida, 2005. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/4186.
Full textPh.D.
School of Computer Science
Engineering and Computer Science
Computer Science
Schwarz, Frederick J. "Strategic planning for DFAS-Cleveland expert systems." Thesis, Monterey, California. Naval Postgraduate School, 1991. http://hdl.handle.net/10945/26791.
Full textAouad, Ghassan Fouad. "Integrated planning systems for the construction industry." Thesis, Loughborough University, 1991. https://dspace.lboro.ac.uk/2134/7199.
Full textHardman, Gavin. "Bayesian inspection planning for large industrial systems." Thesis, Durham University, 2007. http://etheses.dur.ac.uk/1998/.
Full textFinnegan, Patrick. "Inter-organisational systems : towards a planning method." Thesis, University of Warwick, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.390036.
Full textBullough, D. P. "Teenage belief systems : Planning for the future." Thesis, Open University, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377942.
Full textChina, Samuel Soita. "Land use planning using geographic information systems." Thesis, University of Southampton, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239501.
Full textGONZALEZ, JUAN PABLO LEAL. "TRANSMISSION EXPANSION PLANNING CONSIDERING ENERGY STORAGE SYSTEMS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2018. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=36061@1.
Full textCOORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
PROGRAMA DE EXCELENCIA ACADEMICA
O planejamento da expansão da transmissão (PET) visa identificar novos reforços para a rede, permitindo uma conexão tecnicamente adequada entre demanda e geração de energia elétrica, ambas previstas para um determinado horizonte de planejamento. Um bom plano de expansão deve garantir o equilíbrio entre os custos de investimento e operação, mantendo um nível satisfatório de segurança no fornecimento de energia elétrica. Entretanto, a identificação de bons planos de expansão para o PET tem se tornado uma tarefa cada vez mais difícil. Isso se deve, principalmente, às características e dimensões dos sistemas atuais, a não linearidade e natureza combinatória do problema de otimização e às incertezas presentes nos dados. Os erros de previsão, a indisponibilidade de equipamentos e a disponibilidade dos recursos naturais são parâmetros que variam de forma aleatória e inserem um alto grau de incerteza nos sistemas elétricos, o qual aumenta proporcionalmente com o horizonte de planejamento. Uma das incertezas mais relevantes a ser gerenciada nas próximas décadas será a capacidade de geração oriunda de fontes renováveis, em particular as eólicas, devido à sua grande variabilidade. A utilização de dispositivos de armazenamento permitirá melhor aproveitamento dessas fontes e, portanto, torna-se necessário o desenvolvimento de ferramentas computacionais capazes de considerar tais dispositivos no problema PET. Esta dissertação apresenta uma nova metodologia de apoio ao problema PET inserindo armazenadores de energia elétrica para aumentar o aproveitamento de fontes renováveis no sistema. Isso, respeitando as restrições de segurança da rede, acompanhando à curva de demanda e levando em consideração as variáveis operativas destes dispositivos. A possibilidade de incluir sistemas de armazenamento de energia elétrica é avaliada através de uma análise custo-benefício. A metodologia proposta é aplicada a um sistema teste, submetido a diversas condições operativas, e os resultados obtidos são amplamente discutidos.
The transmission expansion planning (TEP) aims at identifying new reinforcements for the network, allowing a technically adequate connection between demand and generation of electric energy, both foreseen for a given planning horizon. A good expansion plan must ensure a balance between investment and operating costs, while maintaining a satisfactory level of security of the electric energy supply. However, identifying good expansion plans for TEP has become an increasingly difficult task. This is mainly due to the characteristics and dimensions of the current systems, the nonlinearity and combinatorial nature of the optimization problem, and the uncertainties present in the data. Forecasting errors, equipment unavailability, and the availability of natural resources are parameters that vary in a random way and insert a high degree of uncertainty in the electrical system, which proportionally increases with the planning horizon. One of the most relevant uncertainties to be managed in the upcoming decades will be the generation capacity from renewable sources, particularly wind power, due to its great variability. Storage devices will allow better use of these sources and, therefore, it becomes necessary to develop computational tools capable of considering such devices in the TEP problem. This dissertation presents a new methodology to support the TEP problem by inserting electric energy storage to increase the use of renewable energy in the system, while respecting the security restrictions of the network, following the demand curve and taking into account the operational variables of these devices. The possibility of including electric energy storage systems is evaluated through a costbenefit analysis. The proposed methodology is applied to a test system, subject to various operating conditions, and the obtained results are widely discussed.
Monroy-Borja, Raul. "Planning proofs of correctness of CCS systems." Thesis, University of Edinburgh, 1997. http://hdl.handle.net/1842/584.
Full textMucheleka, M. (Martin). "Enterprise Resource Planning systems in healthcare sector." Master's thesis, University of Oulu, 2015. http://urn.fi/URN:NBN:fi:oulu-201504021292.
Full textJin, Huan. "Workforce planning in manufacturing and healthcare systems." Diss., University of Iowa, 2016. https://ir.uiowa.edu/etd/5784.
Full textPascucci, Nicholas(Nicholas David). "Composition and correctness of heterogeneous planning systems." Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122378.
Full textThesis: S.M., Massachusetts Institute of Technology, Department of Aeronautics and Astronautics, 2019
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (pages 103-106).
Autonomous systems present many new opportunities, especially for exploration in hazardous environments. One technique for building increasingly capable planning systems is to compose existing planners to enable specialization and division of subproblems. These systems require new analysis techniques, appropriate for ensembles of planners, if they are to be trusted with safety- and mission-critical roles in the future. Current state-of-the-art techniques address parts of this problem--including analysis of middlewares such as ROS and complex control systems--but have not yet provided analysis methods to address the particular correctness needs of composite planning systems. Applying formal methods to model the internal communications of planning architectures is a promising way to address this gap.
In this thesis, I develop a formal modeling method which enables proofs of correctness for planning system architectures which use a rich common data structure for both their inputs and outputs. The method is demonstrated through a case study of Enterprise, a system of planners developed at the MIT Model-Based Embedded and Robotic Systems (MERS) group which communicate using the Qualitative State Plan (QSP). The verification requirements of this system inform the development of a formal semantics for first order logic, defined in terms of the common data structure, which is useful for modeling systems of planners. Sentences in this logic can be used to express formal specifications about a planner's behavior, including correctness properties which are important for autonomous operations of critical systems. Using the logic one can also describe systems of planners built around this common data structure.
Modeling of the Enterprise architecture and components in the case study demonstrates the usefulness of the technique. The analysis method allows varying the level of abstraction by permitting the assumption of certain component behaviors by the architect. This allows the analysis to treat planners as "black-box" implementations while describing the rest of the system. Systems of planners can be described using specification composition, which enables description of various architectures. The use of intuitionistic mathematics enables mechanization of the logic in a variety of computer proof assistants to enable machine-checked proofs and implementation of planners by refinement from specification. Mechanization and opportunities to extend the method to more expressive logics are discussed as future work.
"This research was funded by a grant from Exxon Mobil Research and Engineering Corporation through the MIT Energy Initiative, Award 023730-00025"--Page [5]
by Nicholas Pascucci.
S.M.
S.M. Massachusetts Institute of Technology, Department of Aeronautics and Astronautics
Colby, Lisa J. "Some roles for expert systems in planning." Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/29925.
Full textApplied Science, Faculty of
Community and Regional Planning (SCARP), School of
Graduate
Ridder, Bernardus. "Lifted heuristics : towards more scalable planning systems." Thesis, King's College London (University of London), 2014. https://kclpure.kcl.ac.uk/portal/en/theses/lifted-heuristics(27d32f95-9859-4ca7-b7ca-b89e4d1fb977).html.
Full textZiegenfuss, Paul C. "Performance assessment of the Tactical Network Analysis and Planning System Plus (TNAPS+) automated planning tool for C4I systems." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1999. http://handle.dtic.mil/100.2/ADA366859.
Full text"June 1999". Thesis advisor(s): Gary Porter, John H. Gibson. Includes bibliographical references (p. 41). Also available online.